public class CompileSink extends Sink {
public CompileSink(Sink next) { this.next = next; }
public Stack<Choicepoint> fishFor(String name, int arity, Compound term, int choice, Prolog prolog, Unifier unifier, int cutIndex, Stack<Conjunct> continuation, Stack<Choicepoint> choicepoints) {
Choicepoint choicepoint;
int height = choicepoints.height;
if(arity == 3 && name.equals("compile_file")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("compile_file", t1, t2, t3);
Variable t5 = new Variable("V3");
Compound t4 = new Compound("=", t2, t5);
Compound t7 = new Compound("parsing");
Compound t6 = new Compound("write", t7);
Compound t8 = new Compound("nl");
Variable t10 = new Variable("V4");
Compound t9 = new Compound("parse_file", t5, t10);
Variable t12 = new Variable("V5");
Compound t11 = new Compound("=", t10, t12);
Compound t14 = new Compound("expanding");
Compound t13 = new Compound("write", t14);
Compound t15 = new Compound("nl");
Variable t17 = new Variable("V6");
Compound t16 = new Compound("expand_terms", t12, t17);
Variable t19 = new Variable("V7");
Compound t18 = new Compound("=", t17, t19);
Compound t21 = new Compound("grouping");
Compound t20 = new Compound("write", t21);
Compound t22 = new Compound("nl");
Variable t24 = new Variable("V8");
Compound t23 = new Compound("group_relations", t19, t24);
Variable t26 = new Variable("V9");
Compound t25 = new Compound("=", t24, t26);
Compound t28 = new Compound("simplifying");
Compound t27 = new Compound("write", t28);
Compound t29 = new Compound("nl");
Variable t31 = new Variable("V10");
Compound t30 = new Compound("simplify", t26, t31);
Variable t33 = new Variable("V11");
Compound t32 = new Compound("=", t31, t33);
Compound t35 = new Compound("transfoming");
Compound t34 = new Compound("write", t35);
Compound t36 = new Compound("nl");
Variable t38 = new Variable("V12");
Compound t37 = new Compound("javafy", t1, t33, t38);
Variable t40 = new Variable("V13");
Compound t39 = new Compound("=", t38, t40);
Compound t42 = new Compound("done!");
Compound t41 = new Compound("write", t42);
Compound t43 = new Compound("nl");
Compound t44 = new Compound("save_output", t1, t40, t3);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4, t6, t8, t9, t11, t13, t15, t16, t18, t20, t22, t23, t25, t27, t29, t30, t32, t34, t36, t37, t39, t41, t43, t44);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("expand_terms")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Compound t0 = new Compound("expand_terms", t1, t2);
Compound t4 = new Compound("expand_ir_term");
Compound t3 = new Compound("maplist", t4, t1, t2);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t3);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("expand_ir_term")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Compound t0 = new Compound("expand_ir_term", t1, t2);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t3 = new Compound("ir2pl", t1, t4, t5);
Variable t7 = new Variable("V4");
Compound t6 = new Compound("$my$expand_term", t4, t7);
Compound t8 = new Compound("pl2ir", t7, t2);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t3, t6, t8);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("group_relations")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Compound t2 = new Compound("[]");
Compound t0 = new Compound("group_relations", t1, t2);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Compound t3 = new Compound(":-");
Variable t5 = new Variable("V0");
Compound t6 = new Compound("[]");
Compound t4 = new Compound(".", t5, t6);
Compound t2 = new Compound("compound", t3, t4);
Variable t7 = new Variable("V1");
Compound t1 = new Compound(".", t2, t7);
Variable t8 = new Variable("V2");
Compound t0 = new Compound("group_relations", t1, t8);
Compound t9 = new Compound("group_relations", t7, t8);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t9);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 2: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t6 = new Variable("V2");
Compound t5 = new Compound(".", t2, t6);
Variable t7 = new Variable("V3");
Compound t4 = new Compound(".", t5, t7);
Compound t0 = new Compound("group_relations", t1, t4);
Variable t10 = new Variable("V4");
Variable t11 = new Variable("V5");
Compound t9 = new Compound("/", t10, t11);
Variable t12 = new Variable("V6");
Compound t8 = new Compound("simpler1", t9, t2, t12);
Compound t14 = new Compound("/", t10, t11);
Variable t15 = new Variable("V7");
Compound t13 = new Compound("select_group", t14, t6, t3, t15);
Compound t16 = new Compound("group_relations", t15, t7);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t8, t13, t16);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 4 && name.equals("select_group")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Compound t2 = new Compound("[]");
Compound t3 = new Compound("[]");
Compound t4 = new Compound("[]");
Compound t0 = new Compound("select_group", t1, t2, t3, t4);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound("/", t2, t3);
Variable t4 = new Variable("V2");
Variable t6 = new Variable("V3");
Variable t7 = new Variable("V4");
Compound t5 = new Compound(".", t6, t7);
Variable t8 = new Variable("V5");
Compound t0 = new Compound("select_group", t1, t4, t5, t8);
Compound t12 = new Compound("/", t2, t3);
Variable t13 = new Variable("V6");
Compound t11 = new Compound("simpler1", t12, t6, t13);
Variable t17 = new Variable("V7");
Compound t16 = new Compound(".", t6, t17);
Compound t15 = new Compound("=", t4, t16);
Variable t19 = new Variable("V8");
Compound t18 = new Compound("=", t8, t19);
Compound t14 = new Compound(",", t15, t18);
Compound t10 = new Compound("->", t11, t14);
Compound t21 = new Compound("=", t4, t17);
Compound t23 = new Compound(".", t6, t19);
Compound t22 = new Compound("=", t8, t23);
Compound t20 = new Compound(",", t21, t22);
Compound t9 = new Compound(";", t10, t20);
Compound t25 = new Compound("/", t2, t3);
Compound t24 = new Compound("select_group", t25, t17, t7, t19);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t9, t24);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("simplify")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Compound t0 = new Compound("simplify", t1, t2);
Compound t4 = new Compound("simpler");
Compound t3 = new Compound("maplist", t4, t1, t2);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t3);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("javafy")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("javafy", t1, t2, t3);
Compound t5 = new Compound("[]");
Compound t4 = new Compound("javafy_relations", t1, t2, t3, t5);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 4 && name.equals("javafy_relations")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Variable t4 = new Variable("V3");
Compound t0 = new Compound("javafy_relations", t1, t2, t3, t4);
Compound t7 = new Compound("112");
Compound t9 = new Compound("117");
Compound t11 = new Compound("98");
Compound t13 = new Compound("108");
Compound t15 = new Compound("105");
Compound t17 = new Compound("99");
Compound t19 = new Compound("32");
Compound t21 = new Compound("99");
Compound t23 = new Compound("108");
Compound t25 = new Compound("97");
Compound t27 = new Compound("115");
Compound t29 = new Compound("115");
Compound t31 = new Compound("32");
Variable t32 = new Variable("V4");
Compound t30 = new Compound(".", t31, t32);
Compound t28 = new Compound(".", t29, t30);
Compound t26 = new Compound(".", t27, t28);
Compound t24 = new Compound(".", t25, t26);
Compound t22 = new Compound(".", t23, t24);
Compound t20 = new Compound(".", t21, t22);
Compound t18 = new Compound(".", t19, t20);
Compound t16 = new Compound(".", t17, t18);
Compound t14 = new Compound(".", t15, t16);
Compound t12 = new Compound(".", t13, t14);
Compound t10 = new Compound(".", t11, t12);
Compound t8 = new Compound(".", t9, t10);
Compound t6 = new Compound(".", t7, t8);
Compound t5 = new Compound("=", t3, t6);
Variable t34 = new Variable("V5");
Compound t33 = new Compound("append", t1, t34, t32);
Compound t37 = new Compound("32");
Compound t39 = new Compound("101");
Compound t41 = new Compound("120");
Compound t43 = new Compound("116");
Compound t45 = new Compound("101");
Compound t47 = new Compound("110");
Compound t49 = new Compound("100");
Compound t51 = new Compound("115");
Compound t53 = new Compound("32");
Compound t55 = new Compound("83");
Compound t57 = new Compound("105");
Compound t59 = new Compound("110");
Compound t61 = new Compound("107");
Compound t63 = new Compound("32");
Compound t65 = new Compound("123");
Compound t67 = new Compound("92");
Compound t69 = new Compound("110");
Variable t70 = new Variable("V6");
Compound t68 = new Compound(".", t69, t70);
Compound t66 = new Compound(".", t67, t68);
Compound t64 = new Compound(".", t65, t66);
Compound t62 = new Compound(".", t63, t64);
Compound t60 = new Compound(".", t61, t62);
Compound t58 = new Compound(".", t59, t60);
Compound t56 = new Compound(".", t57, t58);
Compound t54 = new Compound(".", t55, t56);
Compound t52 = new Compound(".", t53, t54);
Compound t50 = new Compound(".", t51, t52);
Compound t48 = new Compound(".", t49, t50);
Compound t46 = new Compound(".", t47, t48);
Compound t44 = new Compound(".", t45, t46);
Compound t42 = new Compound(".", t43, t44);
Compound t40 = new Compound(".", t41, t42);
Compound t38 = new Compound(".", t39, t40);
Compound t36 = new Compound(".", t37, t38);
Compound t35 = new Compound("=", t34, t36);
Compound t73 = new Compound("112");
Compound t75 = new Compound("117");
Compound t77 = new Compound("98");
Compound t79 = new Compound("108");
Compound t81 = new Compound("105");
Compound t83 = new Compound("99");
Compound t85 = new Compound("32");
Variable t86 = new Variable("V7");
Compound t84 = new Compound(".", t85, t86);
Compound t82 = new Compound(".", t83, t84);
Compound t80 = new Compound(".", t81, t82);
Compound t78 = new Compound(".", t79, t80);
Compound t76 = new Compound(".", t77, t78);
Compound t74 = new Compound(".", t75, t76);
Compound t72 = new Compound(".", t73, t74);
Compound t71 = new Compound("=", t70, t72);
Variable t88 = new Variable("V8");
Compound t87 = new Compound("append", t1, t88, t86);
Compound t91 = new Compound("40");
Compound t93 = new Compound("83");
Compound t95 = new Compound("105");
Compound t97 = new Compound("110");
Compound t99 = new Compound("107");
Compound t101 = new Compound("32");
Compound t103 = new Compound("110");
Compound t105 = new Compound("101");
Compound t107 = new Compound("120");
Compound t109 = new Compound("116");
Compound t111 = new Compound("41");
Compound t113 = new Compound("32");
Compound t115 = new Compound("123");
Compound t117 = new Compound("32");
Compound t119 = new Compound("116");
Compound t121 = new Compound("104");
Compound t123 = new Compound("105");
Compound t125 = new Compound("115");
Compound t127 = new Compound("46");
Compound t129 = new Compound("110");
Compound t131 = new Compound("101");
Compound t133 = new Compound("120");
Compound t135 = new Compound("116");
Compound t137 = new Compound("32");
Compound t139 = new Compound("61");
Compound t141 = new Compound("32");
Compound t143 = new Compound("110");
Compound t145 = new Compound("101");
Compound t147 = new Compound("120");
Compound t149 = new Compound("116");
Compound t151 = new Compound("59");
Compound t153 = new Compound("32");
Compound t155 = new Compound("125");
Compound t157 = new Compound("92");
Compound t159 = new Compound("110");
Variable t160 = new Variable("V9");
Compound t158 = new Compound(".", t159, t160);
Compound t156 = new Compound(".", t157, t158);
Compound t154 = new Compound(".", t155, t156);
Compound t152 = new Compound(".", t153, t154);
Compound t150 = new Compound(".", t151, t152);
Compound t148 = new Compound(".", t149, t150);
Compound t146 = new Compound(".", t147, t148);
Compound t144 = new Compound(".", t145, t146);
Compound t142 = new Compound(".", t143, t144);
Compound t140 = new Compound(".", t141, t142);
Compound t138 = new Compound(".", t139, t140);
Compound t136 = new Compound(".", t137, t138);
Compound t134 = new Compound(".", t135, t136);
Compound t132 = new Compound(".", t133, t134);
Compound t130 = new Compound(".", t131, t132);
Compound t128 = new Compound(".", t129, t130);
Compound t126 = new Compound(".", t127, t128);
Compound t124 = new Compound(".", t125, t126);
Compound t122 = new Compound(".", t123, t124);
Compound t120 = new Compound(".", t121, t122);
Compound t118 = new Compound(".", t119, t120);
Compound t116 = new Compound(".", t117, t118);
Compound t114 = new Compound(".", t115, t116);
Compound t112 = new Compound(".", t113, t114);
Compound t110 = new Compound(".", t111, t112);
Compound t108 = new Compound(".", t109, t110);
Compound t106 = new Compound(".", t107, t108);
Compound t104 = new Compound(".", t105, t106);
Compound t102 = new Compound(".", t103, t104);
Compound t100 = new Compound(".", t101, t102);
Compound t98 = new Compound(".", t99, t100);
Compound t96 = new Compound(".", t97, t98);
Compound t94 = new Compound(".", t95, t96);
Compound t92 = new Compound(".", t93, t94);
Compound t90 = new Compound(".", t91, t92);
Compound t89 = new Compound("=", t88, t90);
Compound t163 = new Compound("112");
Compound t165 = new Compound("117");
Compound t167 = new Compound("98");
Compound t169 = new Compound("108");
Compound t171 = new Compound("105");
Compound t173 = new Compound("99");
Compound t175 = new Compound("32");
Compound t177 = new Compound("83");
Compound t179 = new Compound("116");
Compound t181 = new Compound("97");
Compound t183 = new Compound("99");
Compound t185 = new Compound("107");
Compound t187 = new Compound("60");
Compound t189 = new Compound("67");
Compound t191 = new Compound("104");
Compound t193 = new Compound("111");
Compound t195 = new Compound("105");
Compound t197 = new Compound("99");
Compound t199 = new Compound("101");
Compound t201 = new Compound("112");
Compound t203 = new Compound("111");
Compound t205 = new Compound("105");
Compound t207 = new Compound("110");
Compound t209 = new Compound("116");
Compound t211 = new Compound("62");
Compound t213 = new Compound("32");
Compound t215 = new Compound("102");
Compound t217 = new Compound("105");
Compound t219 = new Compound("115");
Compound t221 = new Compound("104");
Compound t223 = new Compound("70");
Compound t225 = new Compound("111");
Compound t227 = new Compound("114");
Compound t229 = new Compound("40");
Compound t231 = new Compound("83");
Compound t233 = new Compound("116");
Compound t235 = new Compound("114");
Compound t237 = new Compound("105");
Compound t239 = new Compound("110");
Compound t241 = new Compound("103");
Compound t243 = new Compound("32");
Compound t245 = new Compound("110");
Compound t247 = new Compound("97");
Compound t249 = new Compound("109");
Compound t251 = new Compound("101");
Compound t253 = new Compound("44");
Compound t255 = new Compound("32");
Compound t257 = new Compound("105");
Compound t259 = new Compound("110");
Compound t261 = new Compound("116");
Compound t263 = new Compound("32");
Compound t265 = new Compound("97");
Compound t267 = new Compound("114");
Compound t269 = new Compound("105");
Compound t271 = new Compound("116");
Compound t273 = new Compound("121");
Compound t275 = new Compound("44");
Compound t277 = new Compound("32");
Compound t279 = new Compound("67");
Compound t281 = new Compound("111");
Compound t283 = new Compound("109");
Compound t285 = new Compound("112");
Compound t287 = new Compound("111");
Compound t289 = new Compound("117");
Compound t291 = new Compound("110");
Compound t293 = new Compound("100");
Compound t295 = new Compound("32");
Compound t297 = new Compound("116");
Compound t299 = new Compound("101");
Compound t301 = new Compound("114");
Compound t303 = new Compound("109");
Compound t305 = new Compound("44");
Compound t307 = new Compound("32");
Compound t309 = new Compound("105");
Compound t311 = new Compound("110");
Compound t313 = new Compound("116");
Compound t315 = new Compound("32");
Compound t317 = new Compound("99");
Compound t319 = new Compound("104");
Compound t321 = new Compound("111");
Compound t323 = new Compound("105");
Compound t325 = new Compound("99");
Compound t327 = new Compound("101");
Compound t329 = new Compound("44");
Compound t331 = new Compound("32");
Compound t333 = new Compound("80");
Compound t335 = new Compound("114");
Compound t337 = new Compound("111");
Compound t339 = new Compound("108");
Compound t341 = new Compound("111");
Compound t343 = new Compound("103");
Compound t345 = new Compound("32");
Compound t347 = new Compound("112");
Compound t349 = new Compound("114");
Compound t351 = new Compound("111");
Compound t353 = new Compound("108");
Compound t355 = new Compound("111");
Compound t357 = new Compound("103");
Compound t359 = new Compound("44");
Compound t361 = new Compound("32");
Compound t363 = new Compound("85");
Compound t365 = new Compound("110");
Compound t367 = new Compound("105");
Compound t369 = new Compound("102");
Compound t371 = new Compound("105");
Compound t373 = new Compound("101");
Compound t375 = new Compound("114");
Compound t377 = new Compound("32");
Compound t379 = new Compound("117");
Compound t381 = new Compound("110");
Compound t383 = new Compound("105");
Compound t385 = new Compound("102");
Compound t387 = new Compound("105");
Compound t389 = new Compound("101");
Compound t391 = new Compound("114");
Compound t393 = new Compound("44");
Compound t395 = new Compound("32");
Compound t397 = new Compound("105");
Compound t399 = new Compound("110");
Compound t401 = new Compound("116");
Compound t403 = new Compound("32");
Compound t405 = new Compound("99");
Compound t407 = new Compound("117");
Compound t409 = new Compound("116");
Compound t411 = new Compound("73");
Compound t413 = new Compound("110");
Compound t415 = new Compound("100");
Compound t417 = new Compound("101");
Compound t419 = new Compound("120");
Compound t421 = new Compound("44");
Compound t423 = new Compound("32");
Compound t425 = new Compound("83");
Compound t427 = new Compound("116");
Compound t429 = new Compound("97");
Compound t431 = new Compound("99");
Compound t433 = new Compound("107");
Compound t435 = new Compound("60");
Compound t437 = new Compound("67");
Compound t439 = new Compound("111");
Compound t441 = new Compound("110");
Compound t443 = new Compound("106");
Compound t445 = new Compound("117");
Compound t447 = new Compound("110");
Compound t449 = new Compound("99");
Compound t451 = new Compound("116");
Compound t453 = new Compound("62");
Compound t455 = new Compound("32");
Compound t457 = new Compound("99");
Compound t459 = new Compound("111");
Compound t461 = new Compound("110");
Compound t463 = new Compound("116");
Compound t465 = new Compound("105");
Compound t467 = new Compound("110");
Compound t469 = new Compound("117");
Compound t471 = new Compound("97");
Compound t473 = new Compound("116");
Compound t475 = new Compound("105");
Compound t477 = new Compound("111");
Compound t479 = new Compound("110");
Compound t481 = new Compound("44");
Compound t483 = new Compound("32");
Compound t485 = new Compound("83");
Compound t487 = new Compound("116");
Compound t489 = new Compound("97");
Compound t491 = new Compound("99");
Compound t493 = new Compound("107");
Compound t495 = new Compound("60");
Compound t497 = new Compound("67");
Compound t499 = new Compound("104");
Compound t501 = new Compound("111");
Compound t503 = new Compound("105");
Compound t505 = new Compound("99");
Compound t507 = new Compound("101");
Compound t509 = new Compound("112");
Compound t511 = new Compound("111");
Compound t513 = new Compound("105");
Compound t515 = new Compound("110");
Compound t517 = new Compound("116");
Compound t519 = new Compound("62");
Compound t521 = new Compound("32");
Compound t523 = new Compound("99");
Compound t525 = new Compound("104");
Compound t527 = new Compound("111");
Compound t529 = new Compound("105");
Compound t531 = new Compound("99");
Compound t533 = new Compound("101");
Compound t535 = new Compound("112");
Compound t537 = new Compound("111");
Compound t539 = new Compound("105");
Compound t541 = new Compound("110");
Compound t543 = new Compound("116");
Compound t545 = new Compound("115");
Compound t547 = new Compound("41");
Compound t549 = new Compound("32");
Compound t551 = new Compound("123");
Compound t553 = new Compound("92");
Compound t555 = new Compound("110");
Variable t556 = new Variable("V10");
Compound t554 = new Compound(".", t555, t556);
Compound t552 = new Compound(".", t553, t554);
Compound t550 = new Compound(".", t551, t552);
Compound t548 = new Compound(".", t549, t550);
Compound t546 = new Compound(".", t547, t548);
Compound t544 = new Compound(".", t545, t546);
Compound t542 = new Compound(".", t543, t544);
Compound t540 = new Compound(".", t541, t542);
Compound t538 = new Compound(".", t539, t540);
Compound t536 = new Compound(".", t537, t538);
Compound t534 = new Compound(".", t535, t536);
Compound t532 = new Compound(".", t533, t534);
Compound t530 = new Compound(".", t531, t532);
Compound t528 = new Compound(".", t529, t530);
Compound t526 = new Compound(".", t527, t528);
Compound t524 = new Compound(".", t525, t526);
Compound t522 = new Compound(".", t523, t524);
Compound t520 = new Compound(".", t521, t522);
Compound t518 = new Compound(".", t519, t520);
Compound t516 = new Compound(".", t517, t518);
Compound t514 = new Compound(".", t515, t516);
Compound t512 = new Compound(".", t513, t514);
Compound t510 = new Compound(".", t511, t512);
Compound t508 = new Compound(".", t509, t510);
Compound t506 = new Compound(".", t507, t508);
Compound t504 = new Compound(".", t505, t506);
Compound t502 = new Compound(".", t503, t504);
Compound t500 = new Compound(".", t501, t502);
Compound t498 = new Compound(".", t499, t500);
Compound t496 = new Compound(".", t497, t498);
Compound t494 = new Compound(".", t495, t496);
Compound t492 = new Compound(".", t493, t494);
Compound t490 = new Compound(".", t491, t492);
Compound t488 = new Compound(".", t489, t490);
Compound t486 = new Compound(".", t487, t488);
Compound t484 = new Compound(".", t485, t486);
Compound t482 = new Compound(".", t483, t484);
Compound t480 = new Compound(".", t481, t482);
Compound t478 = new Compound(".", t479, t480);
Compound t476 = new Compound(".", t477, t478);
Compound t474 = new Compound(".", t475, t476);
Compound t472 = new Compound(".", t473, t474);
Compound t470 = new Compound(".", t471, t472);
Compound t468 = new Compound(".", t469, t470);
Compound t466 = new Compound(".", t467, t468);
Compound t464 = new Compound(".", t465, t466);
Compound t462 = new Compound(".", t463, t464);
Compound t460 = new Compound(".", t461, t462);
Compound t458 = new Compound(".", t459, t460);
Compound t456 = new Compound(".", t457, t458);
Compound t454 = new Compound(".", t455, t456);
Compound t452 = new Compound(".", t453, t454);
Compound t450 = new Compound(".", t451, t452);
Compound t448 = new Compound(".", t449, t450);
Compound t446 = new Compound(".", t447, t448);
Compound t444 = new Compound(".", t445, t446);
Compound t442 = new Compound(".", t443, t444);
Compound t440 = new Compound(".", t441, t442);
Compound t438 = new Compound(".", t439, t440);
Compound t436 = new Compound(".", t437, t438);
Compound t434 = new Compound(".", t435, t436);
Compound t432 = new Compound(".", t433, t434);
Compound t430 = new Compound(".", t431, t432);
Compound t428 = new Compound(".", t429, t430);
Compound t426 = new Compound(".", t427, t428);
Compound t424 = new Compound(".", t425, t426);
Compound t422 = new Compound(".", t423, t424);
Compound t420 = new Compound(".", t421, t422);
Compound t418 = new Compound(".", t419, t420);
Compound t416 = new Compound(".", t417, t418);
Compound t414 = new Compound(".", t415, t416);
Compound t412 = new Compound(".", t413, t414);
Compound t410 = new Compound(".", t411, t412);
Compound t408 = new Compound(".", t409, t410);
Compound t406 = new Compound(".", t407, t408);
Compound t404 = new Compound(".", t405, t406);
Compound t402 = new Compound(".", t403, t404);
Compound t400 = new Compound(".", t401, t402);
Compound t398 = new Compound(".", t399, t400);
Compound t396 = new Compound(".", t397, t398);
Compound t394 = new Compound(".", t395, t396);
Compound t392 = new Compound(".", t393, t394);
Compound t390 = new Compound(".", t391, t392);
Compound t388 = new Compound(".", t389, t390);
Compound t386 = new Compound(".", t387, t388);
Compound t384 = new Compound(".", t385, t386);
Compound t382 = new Compound(".", t383, t384);
Compound t380 = new Compound(".", t381, t382);
Compound t378 = new Compound(".", t379, t380);
Compound t376 = new Compound(".", t377, t378);
Compound t374 = new Compound(".", t375, t376);
Compound t372 = new Compound(".", t373, t374);
Compound t370 = new Compound(".", t371, t372);
Compound t368 = new Compound(".", t369, t370);
Compound t366 = new Compound(".", t367, t368);
Compound t364 = new Compound(".", t365, t366);
Compound t362 = new Compound(".", t363, t364);
Compound t360 = new Compound(".", t361, t362);
Compound t358 = new Compound(".", t359, t360);
Compound t356 = new Compound(".", t357, t358);
Compound t354 = new Compound(".", t355, t356);
Compound t352 = new Compound(".", t353, t354);
Compound t350 = new Compound(".", t351, t352);
Compound t348 = new Compound(".", t349, t350);
Compound t346 = new Compound(".", t347, t348);
Compound t344 = new Compound(".", t345, t346);
Compound t342 = new Compound(".", t343, t344);
Compound t340 = new Compound(".", t341, t342);
Compound t338 = new Compound(".", t339, t340);
Compound t336 = new Compound(".", t337, t338);
Compound t334 = new Compound(".", t335, t336);
Compound t332 = new Compound(".", t333, t334);
Compound t330 = new Compound(".", t331, t332);
Compound t328 = new Compound(".", t329, t330);
Compound t326 = new Compound(".", t327, t328);
Compound t324 = new Compound(".", t325, t326);
Compound t322 = new Compound(".", t323, t324);
Compound t320 = new Compound(".", t321, t322);
Compound t318 = new Compound(".", t319, t320);
Compound t316 = new Compound(".", t317, t318);
Compound t314 = new Compound(".", t315, t316);
Compound t312 = new Compound(".", t313, t314);
Compound t310 = new Compound(".", t311, t312);
Compound t308 = new Compound(".", t309, t310);
Compound t306 = new Compound(".", t307, t308);
Compound t304 = new Compound(".", t305, t306);
Compound t302 = new Compound(".", t303, t304);
Compound t300 = new Compound(".", t301, t302);
Compound t298 = new Compound(".", t299, t300);
Compound t296 = new Compound(".", t297, t298);
Compound t294 = new Compound(".", t295, t296);
Compound t292 = new Compound(".", t293, t294);
Compound t290 = new Compound(".", t291, t292);
Compound t288 = new Compound(".", t289, t290);
Compound t286 = new Compound(".", t287, t288);
Compound t284 = new Compound(".", t285, t286);
Compound t282 = new Compound(".", t283, t284);
Compound t280 = new Compound(".", t281, t282);
Compound t278 = new Compound(".", t279, t280);
Compound t276 = new Compound(".", t277, t278);
Compound t274 = new Compound(".", t275, t276);
Compound t272 = new Compound(".", t273, t274);
Compound t270 = new Compound(".", t271, t272);
Compound t268 = new Compound(".", t269, t270);
Compound t266 = new Compound(".", t267, t268);
Compound t264 = new Compound(".", t265, t266);
Compound t262 = new Compound(".", t263, t264);
Compound t260 = new Compound(".", t261, t262);
Compound t258 = new Compound(".", t259, t260);
Compound t256 = new Compound(".", t257, t258);
Compound t254 = new Compound(".", t255, t256);
Compound t252 = new Compound(".", t253, t254);
Compound t250 = new Compound(".", t251, t252);
Compound t248 = new Compound(".", t249, t250);
Compound t246 = new Compound(".", t247, t248);
Compound t244 = new Compound(".", t245, t246);
Compound t242 = new Compound(".", t243, t244);
Compound t240 = new Compound(".", t241, t242);
Compound t238 = new Compound(".", t239, t240);
Compound t236 = new Compound(".", t237, t238);
Compound t234 = new Compound(".", t235, t236);
Compound t232 = new Compound(".", t233, t234);
Compound t230 = new Compound(".", t231, t232);
Compound t228 = new Compound(".", t229, t230);
Compound t226 = new Compound(".", t227, t228);
Compound t224 = new Compound(".", t225, t226);
Compound t222 = new Compound(".", t223, t224);
Compound t220 = new Compound(".", t221, t222);
Compound t218 = new Compound(".", t219, t220);
Compound t216 = new Compound(".", t217, t218);
Compound t214 = new Compound(".", t215, t216);
Compound t212 = new Compound(".", t213, t214);
Compound t210 = new Compound(".", t211, t212);
Compound t208 = new Compound(".", t209, t210);
Compound t206 = new Compound(".", t207, t208);
Compound t204 = new Compound(".", t205, t206);
Compound t202 = new Compound(".", t203, t204);
Compound t200 = new Compound(".", t201, t202);
Compound t198 = new Compound(".", t199, t200);
Compound t196 = new Compound(".", t197, t198);
Compound t194 = new Compound(".", t195, t196);
Compound t192 = new Compound(".", t193, t194);
Compound t190 = new Compound(".", t191, t192);
Compound t188 = new Compound(".", t189, t190);
Compound t186 = new Compound(".", t187, t188);
Compound t184 = new Compound(".", t185, t186);
Compound t182 = new Compound(".", t183, t184);
Compound t180 = new Compound(".", t181, t182);
Compound t178 = new Compound(".", t179, t180);
Compound t176 = new Compound(".", t177, t178);
Compound t174 = new Compound(".", t175, t176);
Compound t172 = new Compound(".", t173, t174);
Compound t170 = new Compound(".", t171, t172);
Compound t168 = new Compound(".", t169, t170);
Compound t166 = new Compound(".", t167, t168);
Compound t164 = new Compound(".", t165, t166);
Compound t162 = new Compound(".", t163, t164);
Compound t161 = new Compound("=", t160, t162);
Compound t559 = new Compound("67");
Compound t561 = new Compound("104");
Compound t563 = new Compound("111");
Compound t565 = new Compound("105");
Compound t567 = new Compound("99");
Compound t569 = new Compound("101");
Compound t571 = new Compound("112");
Compound t573 = new Compound("111");
Compound t575 = new Compound("105");
Compound t577 = new Compound("110");
Compound t579 = new Compound("116");
Compound t581 = new Compound("32");
Compound t583 = new Compound("99");
Compound t585 = new Compound("104");
Compound t587 = new Compound("111");
Compound t589 = new Compound("105");
Compound t591 = new Compound("99");
Compound t593 = new Compound("101");
Compound t595 = new Compound("112");
Compound t597 = new Compound("111");
Compound t599 = new Compound("105");
Compound t601 = new Compound("110");
Compound t603 = new Compound("116");
Compound t605 = new Compound("59");
Compound t607 = new Compound("92");
Compound t609 = new Compound("110");
Variable t610 = new Variable("V11");
Compound t608 = new Compound(".", t609, t610);
Compound t606 = new Compound(".", t607, t608);
Compound t604 = new Compound(".", t605, t606);
Compound t602 = new Compound(".", t603, t604);
Compound t600 = new Compound(".", t601, t602);
Compound t598 = new Compound(".", t599, t600);
Compound t596 = new Compound(".", t597, t598);
Compound t594 = new Compound(".", t595, t596);
Compound t592 = new Compound(".", t593, t594);
Compound t590 = new Compound(".", t591, t592);
Compound t588 = new Compound(".", t589, t590);
Compound t586 = new Compound(".", t587, t588);
Compound t584 = new Compound(".", t585, t586);
Compound t582 = new Compound(".", t583, t584);
Compound t580 = new Compound(".", t581, t582);
Compound t578 = new Compound(".", t579, t580);
Compound t576 = new Compound(".", t577, t578);
Compound t574 = new Compound(".", t575, t576);
Compound t572 = new Compound(".", t573, t574);
Compound t570 = new Compound(".", t571, t572);
Compound t568 = new Compound(".", t569, t570);
Compound t566 = new Compound(".", t567, t568);
Compound t564 = new Compound(".", t565, t566);
Compound t562 = new Compound(".", t563, t564);
Compound t560 = new Compound(".", t561, t562);
Compound t558 = new Compound(".", t559, t560);
Compound t557 = new Compound("=", t556, t558);
Compound t613 = new Compound("105");
Compound t615 = new Compound("110");
Compound t617 = new Compound("116");
Compound t619 = new Compound("32");
Compound t621 = new Compound("104");
Compound t623 = new Compound("101");
Compound t625 = new Compound("105");
Compound t627 = new Compound("103");
Compound t629 = new Compound("104");
Compound t631 = new Compound("116");
Compound t633 = new Compound("32");
Compound t635 = new Compound("61");
Compound t637 = new Compound("32");
Compound t639 = new Compound("99");
Compound t641 = new Compound("104");
Compound t643 = new Compound("111");
Compound t645 = new Compound("105");
Compound t647 = new Compound("99");
Compound t649 = new Compound("101");
Compound t651 = new Compound("112");
Compound t653 = new Compound("111");
Compound t655 = new Compound("105");
Compound t657 = new Compound("110");
Compound t659 = new Compound("116");
Compound t661 = new Compound("115");
Compound t663 = new Compound("46");
Compound t665 = new Compound("104");
Compound t667 = new Compound("101");
Compound t669 = new Compound("105");
Compound t671 = new Compound("103");
Compound t673 = new Compound("104");
Compound t675 = new Compound("116");
Compound t677 = new Compound("59");
Compound t679 = new Compound("92");
Compound t681 = new Compound("110");
Variable t682 = new Variable("V12");
Compound t680 = new Compound(".", t681, t682);
Compound t678 = new Compound(".", t679, t680);
Compound t676 = new Compound(".", t677, t678);
Compound t674 = new Compound(".", t675, t676);
Compound t672 = new Compound(".", t673, t674);
Compound t670 = new Compound(".", t671, t672);
Compound t668 = new Compound(".", t669, t670);
Compound t666 = new Compound(".", t667, t668);
Compound t664 = new Compound(".", t665, t666);
Compound t662 = new Compound(".", t663, t664);
Compound t660 = new Compound(".", t661, t662);
Compound t658 = new Compound(".", t659, t660);
Compound t656 = new Compound(".", t657, t658);
Compound t654 = new Compound(".", t655, t656);
Compound t652 = new Compound(".", t653, t654);
Compound t650 = new Compound(".", t651, t652);
Compound t648 = new Compound(".", t649, t650);
Compound t646 = new Compound(".", t647, t648);
Compound t644 = new Compound(".", t645, t646);
Compound t642 = new Compound(".", t643, t644);
Compound t640 = new Compound(".", t641, t642);
Compound t638 = new Compound(".", t639, t640);
Compound t636 = new Compound(".", t637, t638);
Compound t634 = new Compound(".", t635, t636);
Compound t632 = new Compound(".", t633, t634);
Compound t630 = new Compound(".", t631, t632);
Compound t628 = new Compound(".", t629, t630);
Compound t626 = new Compound(".", t627, t628);
Compound t624 = new Compound(".", t625, t626);
Compound t622 = new Compound(".", t623, t624);
Compound t620 = new Compound(".", t621, t622);
Compound t618 = new Compound(".", t619, t620);
Compound t616 = new Compound(".", t617, t618);
Compound t614 = new Compound(".", t615, t616);
Compound t612 = new Compound(".", t613, t614);
Compound t611 = new Compound("=", t610, t612);
Compound t683 = new Compound("javafy_relations", t2, t682, t4);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t5, t33, t35, t71, t87, t89, t161, t557, t611, t683);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("javafy_relations")) {
switch(choice) {
case 0: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("javafy_relations", t1, t4, t5);
Variable t7 = new Variable("V4");
Compound t6 = new Compound("java", t2, t4, t7);
Compound t8 = new Compound("javafy_relations", t3, t7, t5);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t6, t8);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Compound t1 = new Compound("[]");
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t0 = new Compound("javafy_relations", t1, t2, t3);
Compound t6 = new Compound("114");
Compound t8 = new Compound("101");
Compound t10 = new Compound("116");
Compound t12 = new Compound("117");
Compound t14 = new Compound("114");
Compound t16 = new Compound("110");
Compound t18 = new Compound("32");
Compound t20 = new Compound("110");
Compound t22 = new Compound("101");
Compound t24 = new Compound("120");
Compound t26 = new Compound("116");
Compound t28 = new Compound("46");
Compound t30 = new Compound("102");
Compound t32 = new Compound("105");
Compound t34 = new Compound("115");
Compound t36 = new Compound("104");
Compound t38 = new Compound("70");
Compound t40 = new Compound("111");
Compound t42 = new Compound("114");
Compound t44 = new Compound("40");
Compound t46 = new Compound("110");
Compound t48 = new Compound("97");
Compound t50 = new Compound("109");
Compound t52 = new Compound("101");
Compound t54 = new Compound("44");
Compound t56 = new Compound("97");
Compound t58 = new Compound("114");
Compound t60 = new Compound("105");
Compound t62 = new Compound("116");
Compound t64 = new Compound("121");
Compound t66 = new Compound("44");
Compound t68 = new Compound("116");
Compound t70 = new Compound("101");
Compound t72 = new Compound("114");
Compound t74 = new Compound("109");
Compound t76 = new Compound("44");
Compound t78 = new Compound("99");
Compound t80 = new Compound("104");
Compound t82 = new Compound("111");
Compound t84 = new Compound("105");
Compound t86 = new Compound("99");
Compound t88 = new Compound("101");
Compound t90 = new Compound("44");
Compound t92 = new Compound("112");
Compound t94 = new Compound("114");
Compound t96 = new Compound("111");
Compound t98 = new Compound("108");
Compound t100 = new Compound("111");
Compound t102 = new Compound("103");
Compound t104 = new Compound("44");
Compound t106 = new Compound("117");
Compound t108 = new Compound("110");
Compound t110 = new Compound("105");
Compound t112 = new Compound("102");
Compound t114 = new Compound("105");
Compound t116 = new Compound("101");
Compound t118 = new Compound("114");
Compound t120 = new Compound("44");
Compound t122 = new Compound("99");
Compound t124 = new Compound("117");
Compound t126 = new Compound("116");
Compound t128 = new Compound("73");
Compound t130 = new Compound("110");
Compound t132 = new Compound("100");
Compound t134 = new Compound("101");
Compound t136 = new Compound("120");
Compound t138 = new Compound("44");
Compound t140 = new Compound("99");
Compound t142 = new Compound("111");
Compound t144 = new Compound("110");
Compound t146 = new Compound("116");
Compound t148 = new Compound("105");
Compound t150 = new Compound("110");
Compound t152 = new Compound("117");
Compound t154 = new Compound("97");
Compound t156 = new Compound("116");
Compound t158 = new Compound("105");
Compound t160 = new Compound("111");
Compound t162 = new Compound("110");
Compound t164 = new Compound("44");
Compound t166 = new Compound("99");
Compound t168 = new Compound("104");
Compound t170 = new Compound("111");
Compound t172 = new Compound("105");
Compound t174 = new Compound("99");
Compound t176 = new Compound("101");
Compound t178 = new Compound("112");
Compound t180 = new Compound("111");
Compound t182 = new Compound("105");
Compound t184 = new Compound("110");
Compound t186 = new Compound("116");
Compound t188 = new Compound("115");
Compound t190 = new Compound("41");
Compound t192 = new Compound("59");
Compound t194 = new Compound("92");
Compound t196 = new Compound("110");
Variable t197 = new Variable("V2");
Compound t195 = new Compound(".", t196, t197);
Compound t193 = new Compound(".", t194, t195);
Compound t191 = new Compound(".", t192, t193);
Compound t189 = new Compound(".", t190, t191);
Compound t187 = new Compound(".", t188, t189);
Compound t185 = new Compound(".", t186, t187);
Compound t183 = new Compound(".", t184, t185);
Compound t181 = new Compound(".", t182, t183);
Compound t179 = new Compound(".", t180, t181);
Compound t177 = new Compound(".", t178, t179);
Compound t175 = new Compound(".", t176, t177);
Compound t173 = new Compound(".", t174, t175);
Compound t171 = new Compound(".", t172, t173);
Compound t169 = new Compound(".", t170, t171);
Compound t167 = new Compound(".", t168, t169);
Compound t165 = new Compound(".", t166, t167);
Compound t163 = new Compound(".", t164, t165);
Compound t161 = new Compound(".", t162, t163);
Compound t159 = new Compound(".", t160, t161);
Compound t157 = new Compound(".", t158, t159);
Compound t155 = new Compound(".", t156, t157);
Compound t153 = new Compound(".", t154, t155);
Compound t151 = new Compound(".", t152, t153);
Compound t149 = new Compound(".", t150, t151);
Compound t147 = new Compound(".", t148, t149);
Compound t145 = new Compound(".", t146, t147);
Compound t143 = new Compound(".", t144, t145);
Compound t141 = new Compound(".", t142, t143);
Compound t139 = new Compound(".", t140, t141);
Compound t137 = new Compound(".", t138, t139);
Compound t135 = new Compound(".", t136, t137);
Compound t133 = new Compound(".", t134, t135);
Compound t131 = new Compound(".", t132, t133);
Compound t129 = new Compound(".", t130, t131);
Compound t127 = new Compound(".", t128, t129);
Compound t125 = new Compound(".", t126, t127);
Compound t123 = new Compound(".", t124, t125);
Compound t121 = new Compound(".", t122, t123);
Compound t119 = new Compound(".", t120, t121);
Compound t117 = new Compound(".", t118, t119);
Compound t115 = new Compound(".", t116, t117);
Compound t113 = new Compound(".", t114, t115);
Compound t111 = new Compound(".", t112, t113);
Compound t109 = new Compound(".", t110, t111);
Compound t107 = new Compound(".", t108, t109);
Compound t105 = new Compound(".", t106, t107);
Compound t103 = new Compound(".", t104, t105);
Compound t101 = new Compound(".", t102, t103);
Compound t99 = new Compound(".", t100, t101);
Compound t97 = new Compound(".", t98, t99);
Compound t95 = new Compound(".", t96, t97);
Compound t93 = new Compound(".", t94, t95);
Compound t91 = new Compound(".", t92, t93);
Compound t89 = new Compound(".", t90, t91);
Compound t87 = new Compound(".", t88, t89);
Compound t85 = new Compound(".", t86, t87);
Compound t83 = new Compound(".", t84, t85);
Compound t81 = new Compound(".", t82, t83);
Compound t79 = new Compound(".", t80, t81);
Compound t77 = new Compound(".", t78, t79);
Compound t75 = new Compound(".", t76, t77);
Compound t73 = new Compound(".", t74, t75);
Compound t71 = new Compound(".", t72, t73);
Compound t69 = new Compound(".", t70, t71);
Compound t67 = new Compound(".", t68, t69);
Compound t65 = new Compound(".", t66, t67);
Compound t63 = new Compound(".", t64, t65);
Compound t61 = new Compound(".", t62, t63);
Compound t59 = new Compound(".", t60, t61);
Compound t57 = new Compound(".", t58, t59);
Compound t55 = new Compound(".", t56, t57);
Compound t53 = new Compound(".", t54, t55);
Compound t51 = new Compound(".", t52, t53);
Compound t49 = new Compound(".", t50, t51);
Compound t47 = new Compound(".", t48, t49);
Compound t45 = new Compound(".", t46, t47);
Compound t43 = new Compound(".", t44, t45);
Compound t41 = new Compound(".", t42, t43);
Compound t39 = new Compound(".", t40, t41);
Compound t37 = new Compound(".", t38, t39);
Compound t35 = new Compound(".", t36, t37);
Compound t33 = new Compound(".", t34, t35);
Compound t31 = new Compound(".", t32, t33);
Compound t29 = new Compound(".", t30, t31);
Compound t27 = new Compound(".", t28, t29);
Compound t25 = new Compound(".", t26, t27);
Compound t23 = new Compound(".", t24, t25);
Compound t21 = new Compound(".", t22, t23);
Compound t19 = new Compound(".", t20, t21);
Compound t17 = new Compound(".", t18, t19);
Compound t15 = new Compound(".", t16, t17);
Compound t13 = new Compound(".", t14, t15);
Compound t11 = new Compound(".", t12, t13);
Compound t9 = new Compound(".", t10, t11);
Compound t7 = new Compound(".", t8, t9);
Compound t5 = new Compound(".", t6, t7);
Compound t4 = new Compound("=", t2, t5);
Compound t200 = new Compound("125");
Compound t202 = new Compound("92");
Compound t204 = new Compound("110");
Variable t205 = new Variable("V3");
Compound t203 = new Compound(".", t204, t205);
Compound t201 = new Compound(".", t202, t203);
Compound t199 = new Compound(".", t200, t201);
Compound t198 = new Compound("=", t197, t199);
Compound t208 = new Compound("125");
Compound t210 = new Compound("92");
Compound t212 = new Compound("110");
Compound t211 = new Compound(".", t212, t3);
Compound t209 = new Compound(".", t210, t211);
Compound t207 = new Compound(".", t208, t209);
Compound t206 = new Compound("=", t205, t207);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4, t198, t206);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("save_output")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Compound t3 = new Compound("[]");
Compound t0 = new Compound("save_output", t1, t2, t3);
Compound t4 = new Compound("!");
Compound t7 = new Compound("46");
Compound t9 = new Compound("106");
Compound t11 = new Compound("97");
Compound t13 = new Compound("118");
Compound t15 = new Compound("97");
Compound t16 = new Compound("[]");
Compound t14 = new Compound(".", t15, t16);
Compound t12 = new Compound(".", t13, t14);
Compound t10 = new Compound(".", t11, t12);
Compound t8 = new Compound(".", t9, t10);
Compound t6 = new Compound(".", t7, t8);
Variable t17 = new Variable("V2");
Compound t5 = new Compound("append", t1, t6, t17);
Compound t19 = new Compound("write");
Variable t20 = new Variable("V3");
Compound t18 = new Compound("open_file", t17, t19, t20);
Compound t21 = new Compound("write_string", t20, t2);
Compound t22 = new Compound("close", t20);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4, t5, t18, t21, t22);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("variables")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("variables", t1, t2, t3);
Variable t5 = new Variable("V3");
Compound t4 = new Compound("=", t2, t5);
Compound t6 = new Compound("var", t1);
Compound t8 = new Compound(".", t1, t3);
Compound t7 = new Compound("=", t5, t8);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t4, t6, t7);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("variables", t1, t2, t3);
Variable t5 = new Variable("V3");
Compound t4 = new Compound("=", t2, t5);
Compound t6 = new Compound("nonvar", t1);
Variable t9 = new Variable("V4");
Variable t10 = new Variable("V5");
Compound t8 = new Compound(".", t9, t10);
Compound t7 = new Compound("=..", t1, t8);
Compound t11 = new Compound("list_variables", t10, t5, t3);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4, t6, t7, t11);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("list_variables")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t0 = new Compound("list_variables", t1, t2, t3);
Compound t4 = new Compound("=", t2, t3);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t4);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("list_variables", t1, t4, t5);
Variable t7 = new Variable("V4");
Compound t6 = new Compound("variables", t2, t4, t7);
Compound t8 = new Compound("list_variables", t3, t7, t5);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t6, t8);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("namevars")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("namevars", t1, t2, t3);
Variable t5 = new Variable("V3");
Compound t6 = new Compound("[]");
Compound t4 = new Compound("variables", t1, t5, t6);
Compound t7 = new Compound("namevars_in_list", t5, t2, t3);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4, t7);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("namevars_in_list")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Variable t2 = new Variable("V0");
Compound t0 = new Compound("namevars_in_list", t1, t2, t2);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("namevars_in_list", t1, t4, t5);
Compound t6 = new Compound("var", t2);
Compound t9 = new Compound("V");
Compound t11 = new Compound("[]");
Compound t10 = new Compound(".", t4, t11);
Compound t8 = new Compound(".", t9, t10);
Compound t7 = new Compound("concat_atom", t8, t2);
Variable t13 = new Variable("V4");
Compound t12 = new Compound("succ", t4, t13);
Compound t14 = new Compound("namevars_in_list", t3, t13, t5);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t6, t7, t12, t14);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 2: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("namevars_in_list", t1, t4, t5);
Compound t6 = new Compound("nonvar", t2);
Compound t7 = new Compound("namevars_in_list", t3, t4, t5);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t6, t7);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("pl2ir")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Compound t0 = new Compound("pl2ir", t1, t2);
Variable t4 = new Variable("V2");
Compound t3 = new Compound("copy_term", t1, t4);
Compound t5 = new Compound("pl2ir_aux", t4, t2);
Compound t7 = new Compound("0");
Variable t8 = new Variable("V3");
Compound t6 = new Compound("namevars", t2, t7, t8);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t3, t5, t6);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("pl2ir_aux")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Compound t2 = new Compound("variable", t1);
Compound t0 = new Compound("pl2ir_aux", t1, t2);
Compound t3 = new Compound("var", t1);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t3);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t1 = new Variable("V0");
Variable t3 = new Variable("V1");
Variable t4 = new Variable("V2");
Compound t2 = new Compound("compound", t3, t4);
Compound t0 = new Compound("pl2ir_aux", t1, t2);
Compound t5 = new Compound("nonvar", t1);
Variable t8 = new Variable("V3");
Compound t7 = new Compound(".", t3, t8);
Compound t6 = new Compound("=..", t1, t7);
Compound t10 = new Compound("pl2ir_aux");
Compound t9 = new Compound("maplist", t10, t8, t4);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t5, t6, t9);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("ir2pl")) {
switch(choice) {
case 0: {
Variable t2 = new Variable("V0");
Compound t1 = new Compound("variable", t2);
Variable t3 = new Variable("V1");
Variable t4 = new Variable("V2");
Compound t0 = new Compound("ir2pl", t1, t3, t4);
Compound t6 = new Compound("-->", t2, t3);
Compound t5 = new Compound("member", t6, t4);
Compound t7 = new Compound("!");
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t5, t7);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound("compound", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("ir2pl", t1, t4, t5);
Variable t7 = new Variable("V4");
Compound t6 = new Compound("ir2pls", t3, t7, t5);
Compound t9 = new Compound(".", t2, t7);
Compound t8 = new Compound("=..", t4, t9);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t6, t8);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("ir2pls")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Compound t2 = new Compound("[]");
Variable t3 = new Variable("V0");
Compound t0 = new Compound("ir2pls", t1, t2, t3);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t5 = new Variable("V2");
Variable t6 = new Variable("V3");
Compound t4 = new Compound(".", t5, t6);
Variable t7 = new Variable("V4");
Compound t0 = new Compound("ir2pls", t1, t4, t7);
Compound t8 = new Compound("ir2pl", t2, t5, t7);
Compound t9 = new Compound("ir2pls", t3, t6, t7);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t8, t9);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 1 && name.equals("closed_list")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Compound t0 = new Compound("closed_list", t1);
Compound t2 = new Compound("!");
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t2);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Compound t0 = new Compound("closed_list", t1);
Compound t4 = new Compound("closed_list", t3);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 2 && name.equals("simpler")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t4 = new Variable("V1");
Variable t5 = new Variable("V2");
Compound t3 = new Compound("/", t4, t5);
Variable t6 = new Variable("V3");
Compound t2 = new Compound("relation", t3, t6);
Compound t0 = new Compound("simpler", t1, t2);
Compound t9 = new Compound("/", t4, t5);
Compound t8 = new Compound("simpler1", t9);
Compound t7 = new Compound("maplist", t8, t1, t6);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t7);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("simpler1")) {
switch(choice) {
case 0: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound("/", t2, t3);
Variable t5 = new Variable("V2");
Compound t4 = new Compound("compound", t2, t5);
Compound t7 = new Compound("[]");
Compound t6 = new Compound("-", t5, t7);
Compound t0 = new Compound("simpler1", t1, t4, t6);
Compound t8 = new Compound("length", t5, t3);
Compound t10 = new Compound("/", t3, t2);
Compound t12 = new Compound("2");
Compound t13 = new Compound(":-");
Compound t11 = new Compound("/", t12, t13);
Compound t9 = new Compound("\\=", t10, t11);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t8, t9);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound("/", t2, t3);
Compound t5 = new Compound(":-");
Variable t8 = new Variable("V2");
Compound t7 = new Compound("compound", t2, t8);
Variable t10 = new Variable("V3");
Compound t11 = new Compound("[]");
Compound t9 = new Compound(".", t10, t11);
Compound t6 = new Compound(".", t7, t9);
Compound t4 = new Compound("compound", t5, t6);
Variable t13 = new Variable("V4");
Compound t12 = new Compound("-", t8, t13);
Compound t0 = new Compound("simpler1", t1, t4, t12);
Compound t14 = new Compound("length", t8, t3);
Compound t16 = new Compound("[]");
Compound t15 = new Compound("flat_body", t10, t13, t16);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t14, t15);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("flat_body")) {
switch(choice) {
case 0: {
Compound t2 = new Compound(",");
Variable t4 = new Variable("V0");
Variable t6 = new Variable("V1");
Compound t7 = new Compound("[]");
Compound t5 = new Compound(".", t6, t7);
Compound t3 = new Compound(".", t4, t5);
Compound t1 = new Compound("compound", t2, t3);
Variable t8 = new Variable("V2");
Variable t9 = new Variable("V3");
Compound t0 = new Compound("flat_body", t1, t8, t9);
Variable t11 = new Variable("V4");
Compound t10 = new Compound("flat_body", t4, t8, t11);
Compound t12 = new Compound("flat_body", t6, t11, t9);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t10, t12);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("flat_body", t1, t2, t3);
Compound t5 = new Compound(".", t1, t3);
Compound t4 = new Compound("=", t2, t5);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 6 && name.equals("java")) {
switch(choice) {
case 0: {
Variable t2 = new Variable("V0");
Compound t1 = new Compound("variable", t2);
Variable t4 = new Variable("V1");
Variable t5 = new Variable("V2");
Compound t3 = new Compound("/", t4, t5);
Variable t6 = new Variable("V3");
Compound t7 = new Compound("/", t4, t5);
Variable t8 = new Variable("V4");
Variable t9 = new Variable("V5");
Compound t0 = new Compound("java", t1, t3, t6, t7, t8, t9);
Compound t10 = new Compound("=", t8, t9);
Compound t12 = new Compound("-", t2, t6);
Compound t11 = new Compound("member", t12, t5);
Compound t13 = new Compound("!");
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t10, t11, t13);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Compound t1 = new Compound("variable", t2);
Variable t4 = new Variable("V1");
Variable t5 = new Variable("V2");
Compound t3 = new Compound("/", t4, t5);
Variable t7 = new Variable("V3");
Compound t9 = new Compound("-", t2, t4);
Compound t8 = new Compound(".", t9, t5);
Compound t6 = new Compound("/", t7, t8);
Variable t10 = new Variable("V4");
Variable t11 = new Variable("V5");
Compound t0 = new Compound("java", t1, t3, t4, t6, t10, t11);
Variable t13 = new Variable("V6");
Compound t12 = new Compound("=", t10, t13);
Variable t15 = new Variable("V7");
Compound t14 = new Compound("atom_codes", t4, t15);
Variable t17 = new Variable("V8");
Compound t16 = new Compound("atom_codes", t2, t17);
Compound t18 = new Compound("succ", t4, t7);
Compound t21 = new Compound("86");
Compound t23 = new Compound("97");
Compound t25 = new Compound("114");
Compound t27 = new Compound("105");
Compound t29 = new Compound("97");
Compound t31 = new Compound("98");
Compound t33 = new Compound("108");
Compound t35 = new Compound("101");
Compound t37 = new Compound("32");
Compound t39 = new Compound("116");
Variable t40 = new Variable("V9");
Compound t38 = new Compound(".", t39, t40);
Compound t36 = new Compound(".", t37, t38);
Compound t34 = new Compound(".", t35, t36);
Compound t32 = new Compound(".", t33, t34);
Compound t30 = new Compound(".", t31, t32);
Compound t28 = new Compound(".", t29, t30);
Compound t26 = new Compound(".", t27, t28);
Compound t24 = new Compound(".", t25, t26);
Compound t22 = new Compound(".", t23, t24);
Compound t20 = new Compound(".", t21, t22);
Compound t19 = new Compound("=", t13, t20);
Variable t42 = new Variable("V10");
Compound t41 = new Compound("append", t15, t42, t40);
Compound t45 = new Compound("32");
Compound t47 = new Compound("61");
Compound t49 = new Compound("32");
Compound t51 = new Compound("110");
Compound t53 = new Compound("101");
Compound t55 = new Compound("119");
Compound t57 = new Compound("32");
Compound t59 = new Compound("86");
Compound t61 = new Compound("97");
Compound t63 = new Compound("114");
Compound t65 = new Compound("105");
Compound t67 = new Compound("97");
Compound t69 = new Compound("98");
Compound t71 = new Compound("108");
Compound t73 = new Compound("101");
Compound t75 = new Compound("40");
Variable t76 = new Variable("V11");
Compound t74 = new Compound(".", t75, t76);
Compound t72 = new Compound(".", t73, t74);
Compound t70 = new Compound(".", t71, t72);
Compound t68 = new Compound(".", t69, t70);
Compound t66 = new Compound(".", t67, t68);
Compound t64 = new Compound(".", t65, t66);
Compound t62 = new Compound(".", t63, t64);
Compound t60 = new Compound(".", t61, t62);
Compound t58 = new Compound(".", t59, t60);
Compound t56 = new Compound(".", t57, t58);
Compound t54 = new Compound(".", t55, t56);
Compound t52 = new Compound(".", t53, t54);
Compound t50 = new Compound(".", t51, t52);
Compound t48 = new Compound(".", t49, t50);
Compound t46 = new Compound(".", t47, t48);
Compound t44 = new Compound(".", t45, t46);
Compound t43 = new Compound("=", t42, t44);
Variable t78 = new Variable("V12");
Compound t77 = new Compound("string", t17, t76, t78);
Compound t81 = new Compound("41");
Compound t83 = new Compound("59");
Compound t85 = new Compound("92");
Compound t87 = new Compound("110");
Compound t86 = new Compound(".", t87, t11);
Compound t84 = new Compound(".", t85, t86);
Compound t82 = new Compound(".", t83, t84);
Compound t80 = new Compound(".", t81, t82);
Compound t79 = new Compound("=", t78, t80);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t12, t14, t16, t18, t19, t41, t43, t77, t79);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 2: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound("compound", t2, t3);
Variable t5 = new Variable("V2");
Variable t6 = new Variable("V3");
Compound t4 = new Compound("/", t5, t6);
Variable t8 = new Variable("V4");
Variable t9 = new Variable("V5");
Compound t7 = new Compound("/", t8, t9);
Variable t10 = new Variable("V6");
Variable t11 = new Variable("V7");
Compound t0 = new Compound("java", t1, t4, t5, t7, t10, t11);
Variable t13 = new Variable("V8");
Compound t12 = new Compound("=", t10, t13);
Variable t15 = new Variable("V9");
Compound t14 = new Compound("atom_codes", t5, t15);
Variable t17 = new Variable("V10");
Compound t16 = new Compound("atom_codes", t2, t17);
Variable t19 = new Variable("V11");
Compound t18 = new Compound("succ", t5, t19);
Variable t21 = new Variable("V12");
Compound t22 = new Compound("/", t19, t6);
Compound t23 = new Compound("/", t8, t9);
Variable t24 = new Variable("V13");
Compound t20 = new Compound("splat", t3, t21, t22, t23, t13, t24);
Compound t27 = new Compound("67");
Compound t29 = new Compound("111");
Compound t31 = new Compound("109");
Compound t33 = new Compound("112");
Compound t35 = new Compound("111");
Compound t37 = new Compound("117");
Compound t39 = new Compound("110");
Compound t41 = new Compound("100");
Compound t43 = new Compound("32");
Compound t45 = new Compound("116");
Variable t46 = new Variable("V14");
Compound t44 = new Compound(".", t45, t46);
Compound t42 = new Compound(".", t43, t44);
Compound t40 = new Compound(".", t41, t42);
Compound t38 = new Compound(".", t39, t40);
Compound t36 = new Compound(".", t37, t38);
Compound t34 = new Compound(".", t35, t36);
Compound t32 = new Compound(".", t33, t34);
Compound t30 = new Compound(".", t31, t32);
Compound t28 = new Compound(".", t29, t30);
Compound t26 = new Compound(".", t27, t28);
Compound t25 = new Compound("=", t24, t26);
Variable t48 = new Variable("V15");
Compound t47 = new Compound("append", t15, t48, t46);
Compound t51 = new Compound("32");
Compound t53 = new Compound("61");
Compound t55 = new Compound("32");
Compound t57 = new Compound("110");
Compound t59 = new Compound("101");
Compound t61 = new Compound("119");
Compound t63 = new Compound("32");
Compound t65 = new Compound("67");
Compound t67 = new Compound("111");
Compound t69 = new Compound("109");
Compound t71 = new Compound("112");
Compound t73 = new Compound("111");
Compound t75 = new Compound("117");
Compound t77 = new Compound("110");
Compound t79 = new Compound("100");
Compound t81 = new Compound("40");
Variable t82 = new Variable("V16");
Compound t80 = new Compound(".", t81, t82);
Compound t78 = new Compound(".", t79, t80);
Compound t76 = new Compound(".", t77, t78);
Compound t74 = new Compound(".", t75, t76);
Compound t72 = new Compound(".", t73, t74);
Compound t70 = new Compound(".", t71, t72);
Compound t68 = new Compound(".", t69, t70);
Compound t66 = new Compound(".", t67, t68);
Compound t64 = new Compound(".", t65, t66);
Compound t62 = new Compound(".", t63, t64);
Compound t60 = new Compound(".", t61, t62);
Compound t58 = new Compound(".", t59, t60);
Compound t56 = new Compound(".", t57, t58);
Compound t54 = new Compound(".", t55, t56);
Compound t52 = new Compound(".", t53, t54);
Compound t50 = new Compound(".", t51, t52);
Compound t49 = new Compound("=", t48, t50);
Variable t84 = new Variable("V17");
Compound t83 = new Compound("string", t17, t82, t84);
Variable t86 = new Variable("V18");
Compound t85 = new Compound("tuple_variables", t21, t84, t86);
Compound t89 = new Compound("41");
Compound t91 = new Compound("59");
Compound t93 = new Compound("92");
Compound t95 = new Compound("110");
Compound t94 = new Compound(".", t95, t11);
Compound t92 = new Compound(".", t93, t94);
Compound t90 = new Compound(".", t91, t92);
Compound t88 = new Compound(".", t89, t90);
Compound t87 = new Compound("=", t86, t88);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t12, t14, t16, t18, t20, t25, t47, t49, t83, t85, t87);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("java")) {
switch(choice) {
case 0: {
Variable t3 = new Variable("V0");
Variable t4 = new Variable("V1");
Compound t2 = new Compound("/", t3, t4);
Variable t5 = new Variable("V2");
Compound t1 = new Compound("relation", t2, t5);
Variable t6 = new Variable("V3");
Variable t7 = new Variable("V4");
Compound t0 = new Compound("java", t1, t6, t7);
Variable t9 = new Variable("V5");
Compound t8 = new Compound("=", t6, t9);
Variable t11 = new Variable("V6");
Compound t10 = new Compound("atom_codes", t4, t11);
Variable t13 = new Variable("V7");
Compound t12 = new Compound("atom_codes", t3, t13);
Compound t16 = new Compound("105");
Compound t18 = new Compound("102");
Compound t20 = new Compound("40");
Compound t22 = new Compound("97");
Compound t24 = new Compound("114");
Compound t26 = new Compound("105");
Compound t28 = new Compound("116");
Compound t30 = new Compound("121");
Compound t32 = new Compound("32");
Compound t34 = new Compound("61");
Compound t36 = new Compound("61");
Compound t38 = new Compound("32");
Variable t39 = new Variable("V8");
Compound t37 = new Compound(".", t38, t39);
Compound t35 = new Compound(".", t36, t37);
Compound t33 = new Compound(".", t34, t35);
Compound t31 = new Compound(".", t32, t33);
Compound t29 = new Compound(".", t30, t31);
Compound t27 = new Compound(".", t28, t29);
Compound t25 = new Compound(".", t26, t27);
Compound t23 = new Compound(".", t24, t25);
Compound t21 = new Compound(".", t22, t23);
Compound t19 = new Compound(".", t20, t21);
Compound t17 = new Compound(".", t18, t19);
Compound t15 = new Compound(".", t16, t17);
Compound t14 = new Compound("=", t9, t15);
Variable t41 = new Variable("V9");
Compound t40 = new Compound("append", t11, t41, t39);
Compound t44 = new Compound("32");
Compound t46 = new Compound("38");
Compound t48 = new Compound("38");
Compound t50 = new Compound("32");
Compound t52 = new Compound("110");
Compound t54 = new Compound("97");
Compound t56 = new Compound("109");
Compound t58 = new Compound("101");
Compound t60 = new Compound("46");
Compound t62 = new Compound("101");
Compound t64 = new Compound("113");
Compound t66 = new Compound("117");
Compound t68 = new Compound("97");
Compound t70 = new Compound("108");
Compound t72 = new Compound("115");
Compound t74 = new Compound("40");
Variable t75 = new Variable("V10");
Compound t73 = new Compound(".", t74, t75);
Compound t71 = new Compound(".", t72, t73);
Compound t69 = new Compound(".", t70, t71);
Compound t67 = new Compound(".", t68, t69);
Compound t65 = new Compound(".", t66, t67);
Compound t63 = new Compound(".", t64, t65);
Compound t61 = new Compound(".", t62, t63);
Compound t59 = new Compound(".", t60, t61);
Compound t57 = new Compound(".", t58, t59);
Compound t55 = new Compound(".", t56, t57);
Compound t53 = new Compound(".", t54, t55);
Compound t51 = new Compound(".", t52, t53);
Compound t49 = new Compound(".", t50, t51);
Compound t47 = new Compound(".", t48, t49);
Compound t45 = new Compound(".", t46, t47);
Compound t43 = new Compound(".", t44, t45);
Compound t42 = new Compound("=", t41, t43);
Variable t77 = new Variable("V11");
Compound t76 = new Compound("string", t13, t75, t77);
Compound t80 = new Compound("41");
Compound t82 = new Compound("41");
Compound t84 = new Compound("32");
Compound t86 = new Compound("123");
Compound t88 = new Compound("92");
Compound t90 = new Compound("110");
Variable t91 = new Variable("V12");
Compound t89 = new Compound(".", t90, t91);
Compound t87 = new Compound(".", t88, t89);
Compound t85 = new Compound(".", t86, t87);
Compound t83 = new Compound(".", t84, t85);
Compound t81 = new Compound(".", t82, t83);
Compound t79 = new Compound(".", t80, t81);
Compound t78 = new Compound("=", t77, t79);
Compound t94 = new Compound("115");
Compound t96 = new Compound("119");
Compound t98 = new Compound("105");
Compound t100 = new Compound("116");
Compound t102 = new Compound("99");
Compound t104 = new Compound("104");
Compound t106 = new Compound("40");
Compound t108 = new Compound("99");
Compound t110 = new Compound("104");
Compound t112 = new Compound("111");
Compound t114 = new Compound("105");
Compound t116 = new Compound("99");
Compound t118 = new Compound("101");
Compound t120 = new Compound("41");
Compound t122 = new Compound("32");
Compound t124 = new Compound("123");
Compound t126 = new Compound("92");
Compound t128 = new Compound("110");
Variable t129 = new Variable("V13");
Compound t127 = new Compound(".", t128, t129);
Compound t125 = new Compound(".", t126, t127);
Compound t123 = new Compound(".", t124, t125);
Compound t121 = new Compound(".", t122, t123);
Compound t119 = new Compound(".", t120, t121);
Compound t117 = new Compound(".", t118, t119);
Compound t115 = new Compound(".", t116, t117);
Compound t113 = new Compound(".", t114, t115);
Compound t111 = new Compound(".", t112, t113);
Compound t109 = new Compound(".", t110, t111);
Compound t107 = new Compound(".", t108, t109);
Compound t105 = new Compound(".", t106, t107);
Compound t103 = new Compound(".", t104, t105);
Compound t101 = new Compound(".", t102, t103);
Compound t99 = new Compound(".", t100, t101);
Compound t97 = new Compound(".", t98, t99);
Compound t95 = new Compound(".", t96, t97);
Compound t93 = new Compound(".", t94, t95);
Compound t92 = new Compound("=", t91, t93);
Compound t131 = new Compound("0");
Variable t132 = new Variable("V14");
Compound t130 = new Compound("cases", t131, t3, t5, t129, t132);
Compound t135 = new Compound("125");
Compound t137 = new Compound("92");
Compound t139 = new Compound("110");
Variable t140 = new Variable("V15");
Compound t138 = new Compound(".", t139, t140);
Compound t136 = new Compound(".", t137, t138);
Compound t134 = new Compound(".", t135, t136);
Compound t133 = new Compound("=", t132, t134);
Compound t143 = new Compound("114");
Compound t145 = new Compound("101");
Compound t147 = new Compound("116");
Compound t149 = new Compound("117");
Compound t151 = new Compound("114");
Compound t153 = new Compound("110");
Compound t155 = new Compound("32");
Compound t157 = new Compound("99");
Compound t159 = new Compound("104");
Compound t161 = new Compound("111");
Compound t163 = new Compound("105");
Compound t165 = new Compound("99");
Compound t167 = new Compound("101");
Compound t169 = new Compound("112");
Compound t171 = new Compound("111");
Compound t173 = new Compound("105");
Compound t175 = new Compound("110");
Compound t177 = new Compound("116");
Compound t179 = new Compound("115");
Compound t181 = new Compound("59");
Compound t183 = new Compound("92");
Compound t185 = new Compound("110");
Variable t186 = new Variable("V16");
Compound t184 = new Compound(".", t185, t186);
Compound t182 = new Compound(".", t183, t184);
Compound t180 = new Compound(".", t181, t182);
Compound t178 = new Compound(".", t179, t180);
Compound t176 = new Compound(".", t177, t178);
Compound t174 = new Compound(".", t175, t176);
Compound t172 = new Compound(".", t173, t174);
Compound t170 = new Compound(".", t171, t172);
Compound t168 = new Compound(".", t169, t170);
Compound t166 = new Compound(".", t167, t168);
Compound t164 = new Compound(".", t165, t166);
Compound t162 = new Compound(".", t163, t164);
Compound t160 = new Compound(".", t161, t162);
Compound t158 = new Compound(".", t159, t160);
Compound t156 = new Compound(".", t157, t158);
Compound t154 = new Compound(".", t155, t156);
Compound t152 = new Compound(".", t153, t154);
Compound t150 = new Compound(".", t151, t152);
Compound t148 = new Compound(".", t149, t150);
Compound t146 = new Compound(".", t147, t148);
Compound t144 = new Compound(".", t145, t146);
Compound t142 = new Compound(".", t143, t144);
Compound t141 = new Compound("=", t140, t142);
Compound t189 = new Compound("125");
Compound t191 = new Compound("92");
Compound t193 = new Compound("110");
Compound t192 = new Compound(".", t193, t7);
Compound t190 = new Compound(".", t191, t192);
Compound t188 = new Compound(".", t189, t190);
Compound t187 = new Compound("=", t186, t188);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t8, t10, t12, t14, t40, t42, t76, t78, t92, t130, t133, t141, t187);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 5 && name.equals("cases")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Compound t2 = new Compound("[]");
Variable t3 = new Variable("V1");
Variable t4 = new Variable("V2");
Compound t0 = new Compound("cases", t1, t1, t2, t3, t4);
Compound t7 = new Compound("100");
Compound t9 = new Compound("101");
Compound t11 = new Compound("102");
Compound t13 = new Compound("97");
Compound t15 = new Compound("117");
Compound t17 = new Compound("108");
Compound t19 = new Compound("116");
Compound t21 = new Compound("58");
Compound t23 = new Compound("32");
Compound t25 = new Compound("99");
Compound t27 = new Compound("104");
Compound t29 = new Compound("111");
Compound t31 = new Compound("105");
Compound t33 = new Compound("99");
Compound t35 = new Compound("101");
Compound t37 = new Compound("112");
Compound t39 = new Compound("111");
Compound t41 = new Compound("105");
Compound t43 = new Compound("110");
Compound t45 = new Compound("116");
Compound t47 = new Compound("115");
Compound t49 = new Compound("46");
Compound t51 = new Compound("104");
Compound t53 = new Compound("101");
Compound t55 = new Compound("97");
Compound t57 = new Compound("100");
Compound t59 = new Compound("46");
Compound t61 = new Compound("100");
Compound t63 = new Compound("101");
Compound t65 = new Compound("97");
Compound t67 = new Compound("100");
Compound t69 = new Compound("32");
Compound t71 = new Compound("61");
Compound t73 = new Compound("32");
Compound t75 = new Compound("116");
Compound t77 = new Compound("114");
Compound t79 = new Compound("117");
Compound t81 = new Compound("101");
Compound t83 = new Compound("59");
Compound t85 = new Compound("92");
Compound t87 = new Compound("110");
Compound t86 = new Compound(".", t87, t4);
Compound t84 = new Compound(".", t85, t86);
Compound t82 = new Compound(".", t83, t84);
Compound t80 = new Compound(".", t81, t82);
Compound t78 = new Compound(".", t79, t80);
Compound t76 = new Compound(".", t77, t78);
Compound t74 = new Compound(".", t75, t76);
Compound t72 = new Compound(".", t73, t74);
Compound t70 = new Compound(".", t71, t72);
Compound t68 = new Compound(".", t69, t70);
Compound t66 = new Compound(".", t67, t68);
Compound t64 = new Compound(".", t65, t66);
Compound t62 = new Compound(".", t63, t64);
Compound t60 = new Compound(".", t61, t62);
Compound t58 = new Compound(".", t59, t60);
Compound t56 = new Compound(".", t57, t58);
Compound t54 = new Compound(".", t55, t56);
Compound t52 = new Compound(".", t53, t54);
Compound t50 = new Compound(".", t51, t52);
Compound t48 = new Compound(".", t49, t50);
Compound t46 = new Compound(".", t47, t48);
Compound t44 = new Compound(".", t45, t46);
Compound t42 = new Compound(".", t43, t44);
Compound t40 = new Compound(".", t41, t42);
Compound t38 = new Compound(".", t39, t40);
Compound t36 = new Compound(".", t37, t38);
Compound t34 = new Compound(".", t35, t36);
Compound t32 = new Compound(".", t33, t34);
Compound t30 = new Compound(".", t31, t32);
Compound t28 = new Compound(".", t29, t30);
Compound t26 = new Compound(".", t27, t28);
Compound t24 = new Compound(".", t25, t26);
Compound t22 = new Compound(".", t23, t24);
Compound t20 = new Compound(".", t21, t22);
Compound t18 = new Compound(".", t19, t20);
Compound t16 = new Compound(".", t17, t18);
Compound t14 = new Compound(".", t15, t16);
Compound t12 = new Compound(".", t13, t14);
Compound t10 = new Compound(".", t11, t12);
Compound t8 = new Compound(".", t9, t10);
Compound t6 = new Compound(".", t7, t8);
Compound t5 = new Compound("=", t3, t6);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t5);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t5 = new Variable("V2");
Variable t6 = new Variable("V3");
Compound t4 = new Compound("-", t5, t6);
Variable t7 = new Variable("V4");
Compound t3 = new Compound(".", t4, t7);
Variable t8 = new Variable("V5");
Variable t9 = new Variable("V6");
Compound t0 = new Compound("cases", t1, t2, t3, t8, t9);
Variable t11 = new Variable("V7");
Compound t10 = new Compound("=", t8, t11);
Variable t13 = new Variable("V8");
Compound t12 = new Compound("succ", t1, t13);
Variable t15 = new Variable("V9");
Compound t14 = new Compound("atom_codes", t1, t15);
Compound t18 = new Compound("99");
Compound t20 = new Compound("97");
Compound t22 = new Compound("115");
Compound t24 = new Compound("101");
Compound t26 = new Compound("32");
Variable t27 = new Variable("V10");
Compound t25 = new Compound(".", t26, t27);
Compound t23 = new Compound(".", t24, t25);
Compound t21 = new Compound(".", t22, t23);
Compound t19 = new Compound(".", t20, t21);
Compound t17 = new Compound(".", t18, t19);
Compound t16 = new Compound("=", t11, t17);
Variable t29 = new Variable("V11");
Compound t28 = new Compound("append", t15, t29, t27);
Compound t32 = new Compound("58");
Compound t34 = new Compound("32");
Compound t36 = new Compound("123");
Compound t38 = new Compound("92");
Compound t40 = new Compound("110");
Variable t41 = new Variable("V12");
Compound t39 = new Compound(".", t40, t41);
Compound t37 = new Compound(".", t38, t39);
Compound t35 = new Compound(".", t36, t37);
Compound t33 = new Compound(".", t34, t35);
Compound t31 = new Compound(".", t32, t33);
Compound t30 = new Compound("=", t29, t31);
Compound t43 = new Compound("compound", t2, t5);
Compound t45 = new Compound("0");
Compound t46 = new Compound("[]");
Compound t44 = new Compound("/", t45, t46);
Variable t47 = new Variable("V13");
Variable t48 = new Variable("V14");
Variable t49 = new Variable("V15");
Compound t42 = new Compound("java", t43, t44, t47, t48, t41, t49);
Variable t51 = new Variable("V16");
Variable t52 = new Variable("V17");
Compound t50 = new Compound("splat", t6, t51, t48, t47, t49, t52);
Compound t55 = new Compound("105");
Compound t57 = new Compound("102");
Compound t59 = new Compound("40");
Compound t61 = new Compound("117");
Compound t63 = new Compound("110");
Compound t65 = new Compound("105");
Compound t67 = new Compound("102");
Compound t69 = new Compound("105");
Compound t71 = new Compound("101");
Compound t73 = new Compound("114");
Compound t75 = new Compound("46");
Compound t77 = new Compound("117");
Compound t79 = new Compound("110");
Compound t81 = new Compound("105");
Compound t83 = new Compound("102");
Compound t85 = new Compound("121");
Compound t87 = new Compound("40");
Compound t89 = new Compound("116");
Compound t91 = new Compound("48");
Compound t93 = new Compound("44");
Compound t95 = new Compound("116");
Compound t97 = new Compound("101");
Compound t99 = new Compound("114");
Compound t101 = new Compound("109");
Compound t103 = new Compound("41");
Compound t105 = new Compound("41");
Compound t107 = new Compound("32");
Compound t109 = new Compound("123");
Compound t111 = new Compound("92");
Compound t113 = new Compound("110");
Variable t114 = new Variable("V18");
Compound t112 = new Compound(".", t113, t114);
Compound t110 = new Compound(".", t111, t112);
Compound t108 = new Compound(".", t109, t110);
Compound t106 = new Compound(".", t107, t108);
Compound t104 = new Compound(".", t105, t106);
Compound t102 = new Compound(".", t103, t104);
Compound t100 = new Compound(".", t101, t102);
Compound t98 = new Compound(".", t99, t100);
Compound t96 = new Compound(".", t97, t98);
Compound t94 = new Compound(".", t95, t96);
Compound t92 = new Compound(".", t93, t94);
Compound t90 = new Compound(".", t91, t92);
Compound t88 = new Compound(".", t89, t90);
Compound t86 = new Compound(".", t87, t88);
Compound t84 = new Compound(".", t85, t86);
Compound t82 = new Compound(".", t83, t84);
Compound t80 = new Compound(".", t81, t82);
Compound t78 = new Compound(".", t79, t80);
Compound t76 = new Compound(".", t77, t78);
Compound t74 = new Compound(".", t75, t76);
Compound t72 = new Compound(".", t73, t74);
Compound t70 = new Compound(".", t71, t72);
Compound t68 = new Compound(".", t69, t70);
Compound t66 = new Compound(".", t67, t68);
Compound t64 = new Compound(".", t65, t66);
Compound t62 = new Compound(".", t63, t64);
Compound t60 = new Compound(".", t61, t62);
Compound t58 = new Compound(".", t59, t60);
Compound t56 = new Compound(".", t57, t58);
Compound t54 = new Compound(".", t55, t56);
Compound t53 = new Compound("=", t52, t54);
Variable t119 = new Variable("V19");
Compound t118 = new Compound("=", t114, t119);
Compound t121 = new Compound("[]");
Compound t120 = new Compound("=", t7, t121);
Compound t117 = new Compound(",", t118, t120);
Compound t125 = new Compound("99");
Compound t127 = new Compound("104");
Compound t129 = new Compound("111");
Compound t131 = new Compound("105");
Compound t133 = new Compound("99");
Compound t135 = new Compound("101");
Compound t137 = new Compound("112");
Compound t139 = new Compound("111");
Compound t141 = new Compound("105");
Compound t143 = new Compound("110");
Compound t145 = new Compound("116");
Compound t147 = new Compound("115");
Compound t149 = new Compound("46");
Compound t151 = new Compound("104");
Compound t153 = new Compound("101");
Compound t155 = new Compound("97");
Compound t157 = new Compound("100");
Compound t159 = new Compound("46");
Compound t161 = new Compound("113");
Compound t163 = new Compound("117");
Compound t165 = new Compound("101");
Compound t167 = new Compound("114");
Compound t169 = new Compound("121");
Compound t171 = new Compound("32");
Compound t173 = new Compound("61");
Compound t175 = new Compound("32");
Compound t177 = new Compound("99");
Compound t179 = new Compound("104");
Compound t181 = new Compound("111");
Compound t183 = new Compound("105");
Compound t185 = new Compound("99");
Compound t187 = new Compound("101");
Compound t189 = new Compound("112");
Compound t191 = new Compound("111");
Compound t193 = new Compound("105");
Compound t195 = new Compound("110");
Compound t197 = new Compound("116");
Compound t199 = new Compound("115");
Compound t201 = new Compound("46");
Compound t203 = new Compound("104");
Compound t205 = new Compound("101");
Compound t207 = new Compound("97");
Compound t209 = new Compound("100");
Compound t211 = new Compound("46");
Compound t213 = new Compound("113");
Compound t215 = new Compound("117");
Compound t217 = new Compound("101");
Compound t219 = new Compound("114");
Compound t221 = new Compound("121");
Compound t223 = new Compound("46");
Compound t225 = new Compound("116");
Compound t227 = new Compound("97");
Compound t229 = new Compound("105");
Compound t231 = new Compound("108");
Compound t233 = new Compound("59");
Compound t235 = new Compound("92");
Compound t237 = new Compound("110");
Variable t238 = new Variable("V20");
Compound t236 = new Compound(".", t237, t238);
Compound t234 = new Compound(".", t235, t236);
Compound t232 = new Compound(".", t233, t234);
Compound t230 = new Compound(".", t231, t232);
Compound t228 = new Compound(".", t229, t230);
Compound t226 = new Compound(".", t227, t228);
Compound t224 = new Compound(".", t225, t226);
Compound t222 = new Compound(".", t223, t224);
Compound t220 = new Compound(".", t221, t222);
Compound t218 = new Compound(".", t219, t220);
Compound t216 = new Compound(".", t217, t218);
Compound t214 = new Compound(".", t215, t216);
Compound t212 = new Compound(".", t213, t214);
Compound t210 = new Compound(".", t211, t212);
Compound t208 = new Compound(".", t209, t210);
Compound t206 = new Compound(".", t207, t208);
Compound t204 = new Compound(".", t205, t206);
Compound t202 = new Compound(".", t203, t204);
Compound t200 = new Compound(".", t201, t202);
Compound t198 = new Compound(".", t199, t200);
Compound t196 = new Compound(".", t197, t198);
Compound t194 = new Compound(".", t195, t196);
Compound t192 = new Compound(".", t193, t194);
Compound t190 = new Compound(".", t191, t192);
Compound t188 = new Compound(".", t189, t190);
Compound t186 = new Compound(".", t187, t188);
Compound t184 = new Compound(".", t185, t186);
Compound t182 = new Compound(".", t183, t184);
Compound t180 = new Compound(".", t181, t182);
Compound t178 = new Compound(".", t179, t180);
Compound t176 = new Compound(".", t177, t178);
Compound t174 = new Compound(".", t175, t176);
Compound t172 = new Compound(".", t173, t174);
Compound t170 = new Compound(".", t171, t172);
Compound t168 = new Compound(".", t169, t170);
Compound t166 = new Compound(".", t167, t168);
Compound t164 = new Compound(".", t165, t166);
Compound t162 = new Compound(".", t163, t164);
Compound t160 = new Compound(".", t161, t162);
Compound t158 = new Compound(".", t159, t160);
Compound t156 = new Compound(".", t157, t158);
Compound t154 = new Compound(".", t155, t156);
Compound t152 = new Compound(".", t153, t154);
Compound t150 = new Compound(".", t151, t152);
Compound t148 = new Compound(".", t149, t150);
Compound t146 = new Compound(".", t147, t148);
Compound t144 = new Compound(".", t145, t146);
Compound t142 = new Compound(".", t143, t144);
Compound t140 = new Compound(".", t141, t142);
Compound t138 = new Compound(".", t139, t140);
Compound t136 = new Compound(".", t137, t138);
Compound t134 = new Compound(".", t135, t136);
Compound t132 = new Compound(".", t133, t134);
Compound t130 = new Compound(".", t131, t132);
Compound t128 = new Compound(".", t129, t130);
Compound t126 = new Compound(".", t127, t128);
Compound t124 = new Compound(".", t125, t126);
Compound t123 = new Compound("=", t119, t124);
Variable t244 = new Variable("V21");
Compound t243 = new Compound("=", t238, t244);
Variable t247 = new Variable("V22");
Variable t248 = new Variable("V23");
Compound t246 = new Compound(".", t247, t248);
Compound t245 = new Compound("=", t51, t246);
Compound t242 = new Compound(",", t243, t245);
Variable t252 = new Variable("V24");
Compound t251 = new Compound("=", t244, t252);
Variable t254 = new Variable("V25");
Compound t253 = new Compound("atom_codes", t247, t254);
Compound t250 = new Compound(",", t251, t253);
Compound t258 = new Compound("99");
Compound t260 = new Compound("104");
Compound t262 = new Compound("111");
Compound t264 = new Compound("105");
Compound t266 = new Compound("99");
Compound t268 = new Compound("101");
Compound t270 = new Compound("112");
Compound t272 = new Compound("111");
Compound t274 = new Compound("105");
Compound t276 = new Compound("110");
Compound t278 = new Compound("116");
Compound t280 = new Compound("115");
Compound t282 = new Compound("46");
Compound t284 = new Compound("104");
Compound t286 = new Compound("101");
Compound t288 = new Compound("97");
Compound t290 = new Compound("100");
Compound t292 = new Compound("46");
Compound t294 = new Compound("97");
Compound t296 = new Compound("100");
Compound t298 = new Compound("100");
Compound t300 = new Compound("81");
Compound t302 = new Compound("117");
Compound t304 = new Compound("101");
Compound t306 = new Compound("114");
Compound t308 = new Compound("101");
Compound t310 = new Compound("110");
Compound t312 = new Compound("116");
Compound t314 = new Compound("115");
Compound t316 = new Compound("40");
Compound t318 = new Compound("104");
Compound t320 = new Compound("101");
Compound t322 = new Compound("105");
Compound t324 = new Compound("103");
Compound t326 = new Compound("104");
Compound t328 = new Compound("116");
Compound t330 = new Compound("45");
Compound t332 = new Compound("49");
Compound t334 = new Compound("44");
Compound t336 = new Compound("32");
Compound t338 = new Compound("116");
Variable t339 = new Variable("V26");
Compound t337 = new Compound(".", t338, t339);
Compound t335 = new Compound(".", t336, t337);
Compound t333 = new Compound(".", t334, t335);
Compound t331 = new Compound(".", t332, t333);
Compound t329 = new Compound(".", t330, t331);
Compound t327 = new Compound(".", t328, t329);
Compound t325 = new Compound(".", t326, t327);
Compound t323 = new Compound(".", t324, t325);
Compound t321 = new Compound(".", t322, t323);
Compound t319 = new Compound(".", t320, t321);
Compound t317 = new Compound(".", t318, t319);
Compound t315 = new Compound(".", t316, t317);
Compound t313 = new Compound(".", t314, t315);
Compound t311 = new Compound(".", t312, t313);
Compound t309 = new Compound(".", t310, t311);
Compound t307 = new Compound(".", t308, t309);
Compound t305 = new Compound(".", t306, t307);
Compound t303 = new Compound(".", t304, t305);
Compound t301 = new Compound(".", t302, t303);
Compound t299 = new Compound(".", t300, t301);
Compound t297 = new Compound(".", t298, t299);
Compound t295 = new Compound(".", t296, t297);
Compound t293 = new Compound(".", t294, t295);
Compound t291 = new Compound(".", t292, t293);
Compound t289 = new Compound(".", t290, t291);
Compound t287 = new Compound(".", t288, t289);
Compound t285 = new Compound(".", t286, t287);
Compound t283 = new Compound(".", t284, t285);
Compound t281 = new Compound(".", t282, t283);
Compound t279 = new Compound(".", t280, t281);
Compound t277 = new Compound(".", t278, t279);
Compound t275 = new Compound(".", t276, t277);
Compound t273 = new Compound(".", t274, t275);
Compound t271 = new Compound(".", t272, t273);
Compound t269 = new Compound(".", t270, t271);
Compound t267 = new Compound(".", t268, t269);
Compound t265 = new Compound(".", t266, t267);
Compound t263 = new Compound(".", t264, t265);
Compound t261 = new Compound(".", t262, t263);
Compound t259 = new Compound(".", t260, t261);
Compound t257 = new Compound(".", t258, t259);
Compound t256 = new Compound("=", t252, t257);
Variable t342 = new Variable("V27");
Compound t341 = new Compound("append", t254, t342, t339);
Variable t345 = new Variable("V28");
Compound t344 = new Compound("tuple_variables", t248, t342, t345);
Compound t348 = new Compound("41");
Compound t350 = new Compound("59");
Compound t352 = new Compound("92");
Compound t354 = new Compound("110");
Variable t355 = new Variable("V29");
Compound t353 = new Compound(".", t354, t355);
Compound t351 = new Compound(".", t352, t353);
Compound t349 = new Compound(".", t350, t351);
Compound t347 = new Compound(".", t348, t349);
Compound t346 = new Compound("=", t345, t347);
Compound t343 = new Compound(",", t344, t346);
Compound t340 = new Compound(",", t341, t343);
Compound t255 = new Compound(",", t256, t340);
Compound t249 = new Compound(",", t250, t255);
Compound t241 = new Compound("->", t242, t249);
Compound t357 = new Compound("=", t238, t355);
Compound t358 = new Compound("true");
Compound t356 = new Compound(",", t357, t358);
Compound t240 = new Compound(";", t241, t356);
Compound t362 = new Compound("99");
Compound t364 = new Compound("104");
Compound t366 = new Compound("111");
Compound t368 = new Compound("105");
Compound t370 = new Compound("99");
Compound t372 = new Compound("101");
Compound t374 = new Compound("112");
Compound t376 = new Compound("111");
Compound t378 = new Compound("105");
Compound t380 = new Compound("110");
Compound t382 = new Compound("116");
Compound t384 = new Compound("115");
Compound t386 = new Compound("46");
Compound t388 = new Compound("104");
Compound t390 = new Compound("101");
Compound t392 = new Compound("97");
Compound t394 = new Compound("100");
Compound t396 = new Compound("46");
Compound t398 = new Compound("97");
Compound t400 = new Compound("100");
Compound t402 = new Compound("100");
Compound t404 = new Compound("66");
Compound t406 = new Compound("105");
Compound t408 = new Compound("110");
Compound t410 = new Compound("100");
Compound t412 = new Compound("105");
Compound t414 = new Compound("110");
Compound t416 = new Compound("103");
Compound t418 = new Compound("115");
Compound t420 = new Compound("40");
Compound t422 = new Compound("117");
Compound t424 = new Compound("110");
Compound t426 = new Compound("105");
Compound t428 = new Compound("102");
Compound t430 = new Compound("105");
Compound t432 = new Compound("101");
Compound t434 = new Compound("114");
Compound t436 = new Compound("46");
Compound t438 = new Compound("98");
Compound t440 = new Compound("111");
Compound t442 = new Compound("117");
Compound t444 = new Compound("110");
Compound t446 = new Compound("100");
Compound t448 = new Compound("41");
Compound t450 = new Compound("59");
Compound t452 = new Compound("92");
Compound t454 = new Compound("110");
Variable t455 = new Variable("V30");
Compound t453 = new Compound(".", t454, t455);
Compound t451 = new Compound(".", t452, t453);
Compound t449 = new Compound(".", t450, t451);
Compound t447 = new Compound(".", t448, t449);
Compound t445 = new Compound(".", t446, t447);
Compound t443 = new Compound(".", t444, t445);
Compound t441 = new Compound(".", t442, t443);
Compound t439 = new Compound(".", t440, t441);
Compound t437 = new Compound(".", t438, t439);
Compound t435 = new Compound(".", t436, t437);
Compound t433 = new Compound(".", t434, t435);
Compound t431 = new Compound(".", t432, t433);
Compound t429 = new Compound(".", t430, t431);
Compound t427 = new Compound(".", t428, t429);
Compound t425 = new Compound(".", t426, t427);
Compound t423 = new Compound(".", t424, t425);
Compound t421 = new Compound(".", t422, t423);
Compound t419 = new Compound(".", t420, t421);
Compound t417 = new Compound(".", t418, t419);
Compound t415 = new Compound(".", t416, t417);
Compound t413 = new Compound(".", t414, t415);
Compound t411 = new Compound(".", t412, t413);
Compound t409 = new Compound(".", t410, t411);
Compound t407 = new Compound(".", t408, t409);
Compound t405 = new Compound(".", t406, t407);
Compound t403 = new Compound(".", t404, t405);
Compound t401 = new Compound(".", t402, t403);
Compound t399 = new Compound(".", t400, t401);
Compound t397 = new Compound(".", t398, t399);
Compound t395 = new Compound(".", t396, t397);
Compound t393 = new Compound(".", t394, t395);
Compound t391 = new Compound(".", t392, t393);
Compound t389 = new Compound(".", t390, t391);
Compound t387 = new Compound(".", t388, t389);
Compound t385 = new Compound(".", t386, t387);
Compound t383 = new Compound(".", t384, t385);
Compound t381 = new Compound(".", t382, t383);
Compound t379 = new Compound(".", t380, t381);
Compound t377 = new Compound(".", t378, t379);
Compound t375 = new Compound(".", t376, t377);
Compound t373 = new Compound(".", t374, t375);
Compound t371 = new Compound(".", t372, t373);
Compound t369 = new Compound(".", t370, t371);
Compound t367 = new Compound(".", t368, t369);
Compound t365 = new Compound(".", t366, t367);
Compound t363 = new Compound(".", t364, t365);
Compound t361 = new Compound(".", t362, t363);
Compound t360 = new Compound("=", t355, t361);
Compound t458 = new Compound("114");
Compound t460 = new Compound("101");
Compound t462 = new Compound("116");
Compound t464 = new Compound("117");
Compound t466 = new Compound("114");
Compound t468 = new Compound("110");
Compound t470 = new Compound("32");
Compound t472 = new Compound("99");
Compound t474 = new Compound("104");
Compound t476 = new Compound("111");
Compound t478 = new Compound("105");
Compound t480 = new Compound("99");
Compound t482 = new Compound("101");
Compound t484 = new Compound("112");
Compound t486 = new Compound("111");
Compound t488 = new Compound("105");
Compound t490 = new Compound("110");
Compound t492 = new Compound("116");
Compound t494 = new Compound("115");
Compound t496 = new Compound("59");
Compound t498 = new Compound("92");
Compound t500 = new Compound("110");
Variable t501 = new Variable("V31");
Compound t499 = new Compound(".", t500, t501);
Compound t497 = new Compound(".", t498, t499);
Compound t495 = new Compound(".", t496, t497);
Compound t493 = new Compound(".", t494, t495);
Compound t491 = new Compound(".", t492, t493);
Compound t489 = new Compound(".", t490, t491);
Compound t487 = new Compound(".", t488, t489);
Compound t485 = new Compound(".", t486, t487);
Compound t483 = new Compound(".", t484, t485);
Compound t481 = new Compound(".", t482, t483);
Compound t479 = new Compound(".", t480, t481);
Compound t477 = new Compound(".", t478, t479);
Compound t475 = new Compound(".", t476, t477);
Compound t473 = new Compound(".", t474, t475);
Compound t471 = new Compound(".", t472, t473);
Compound t469 = new Compound(".", t470, t471);
Compound t467 = new Compound(".", t468, t469);
Compound t465 = new Compound(".", t466, t467);
Compound t463 = new Compound(".", t464, t465);
Compound t461 = new Compound(".", t462, t463);
Compound t459 = new Compound(".", t460, t461);
Compound t457 = new Compound(".", t458, t459);
Compound t456 = new Compound("=", t455, t457);
Compound t359 = new Compound(",", t360, t456);
Compound t239 = new Compound(",", t240, t359);
Compound t122 = new Compound(",", t123, t239);
Compound t116 = new Compound("->", t117, t122);
Compound t505 = new Compound("99");
Compound t507 = new Compound("104");
Compound t509 = new Compound("111");
Compound t511 = new Compound("105");
Compound t513 = new Compound("99");
Compound t515 = new Compound("101");
Compound t517 = new Compound("112");
Compound t519 = new Compound("111");
Compound t521 = new Compound("105");
Compound t523 = new Compound("110");
Compound t525 = new Compound("116");
Compound t527 = new Compound("32");
Compound t529 = new Compound("61");
Compound t531 = new Compound("32");
Compound t533 = new Compound("110");
Compound t535 = new Compound("101");
Compound t537 = new Compound("119");
Compound t539 = new Compound("32");
Compound t541 = new Compound("67");
Compound t543 = new Compound("104");
Compound t545 = new Compound("111");
Compound t547 = new Compound("105");
Compound t549 = new Compound("99");
Compound t551 = new Compound("101");
Compound t553 = new Compound("112");
Compound t555 = new Compound("111");
Compound t557 = new Compound("105");
Compound t559 = new Compound("110");
Compound t561 = new Compound("116");
Compound t563 = new Compound("40");
Compound t565 = new Compound("99");
Compound t567 = new Compound("111");
Compound t569 = new Compound("110");
Compound t571 = new Compound("116");
Compound t573 = new Compound("105");
Compound t575 = new Compound("110");
Compound t577 = new Compound("117");
Compound t579 = new Compound("97");
Compound t581 = new Compound("116");
Compound t583 = new Compound("105");
Compound t585 = new Compound("111");
Compound t587 = new Compound("110");
Compound t589 = new Compound("44");
Compound t591 = new Compound("104");
Compound t593 = new Compound("101");
Compound t595 = new Compound("105");
Compound t597 = new Compound("103");
Compound t599 = new Compound("104");
Compound t601 = new Compound("116");
Variable t602 = new Variable("V32");
Compound t600 = new Compound(".", t601, t602);
Compound t598 = new Compound(".", t599, t600);
Compound t596 = new Compound(".", t597, t598);
Compound t594 = new Compound(".", t595, t596);
Compound t592 = new Compound(".", t593, t594);
Compound t590 = new Compound(".", t591, t592);
Compound t588 = new Compound(".", t589, t590);
Compound t586 = new Compound(".", t587, t588);
Compound t584 = new Compound(".", t585, t586);
Compound t582 = new Compound(".", t583, t584);
Compound t580 = new Compound(".", t581, t582);
Compound t578 = new Compound(".", t579, t580);
Compound t576 = new Compound(".", t577, t578);
Compound t574 = new Compound(".", t575, t576);
Compound t572 = new Compound(".", t573, t574);
Compound t570 = new Compound(".", t571, t572);
Compound t568 = new Compound(".", t569, t570);
Compound t566 = new Compound(".", t567, t568);
Compound t564 = new Compound(".", t565, t566);
Compound t562 = new Compound(".", t563, t564);
Compound t560 = new Compound(".", t561, t562);
Compound t558 = new Compound(".", t559, t560);
Compound t556 = new Compound(".", t557, t558);
Compound t554 = new Compound(".", t555, t556);
Compound t552 = new Compound(".", t553, t554);
Compound t550 = new Compound(".", t551, t552);
Compound t548 = new Compound(".", t549, t550);
Compound t546 = new Compound(".", t547, t548);
Compound t544 = new Compound(".", t545, t546);
Compound t542 = new Compound(".", t543, t544);
Compound t540 = new Compound(".", t541, t542);
Compound t538 = new Compound(".", t539, t540);
Compound t536 = new Compound(".", t537, t538);
Compound t534 = new Compound(".", t535, t536);
Compound t532 = new Compound(".", t533, t534);
Compound t530 = new Compound(".", t531, t532);
Compound t528 = new Compound(".", t529, t530);
Compound t526 = new Compound(".", t527, t528);
Compound t524 = new Compound(".", t525, t526);
Compound t522 = new Compound(".", t523, t524);
Compound t520 = new Compound(".", t521, t522);
Compound t518 = new Compound(".", t519, t520);
Compound t516 = new Compound(".", t517, t518);
Compound t514 = new Compound(".", t515, t516);
Compound t512 = new Compound(".", t513, t514);
Compound t510 = new Compound(".", t511, t512);
Compound t508 = new Compound(".", t509, t510);
Compound t506 = new Compound(".", t507, t508);
Compound t504 = new Compound(".", t505, t506);
Compound t503 = new Compound("=", t114, t504);
Variable t605 = new Variable("V33");
Compound t604 = new Compound("tuple_variables", t51, t602, t605);
Compound t609 = new Compound("41");
Compound t611 = new Compound("59");
Compound t613 = new Compound("92");
Compound t615 = new Compound("110");
Variable t616 = new Variable("V34");
Compound t614 = new Compound(".", t615, t616);
Compound t612 = new Compound(".", t613, t614);
Compound t610 = new Compound(".", t611, t612);
Compound t608 = new Compound(".", t609, t610);
Compound t607 = new Compound("=", t605, t608);
Compound t620 = new Compound("99");
Compound t622 = new Compound("104");
Compound t624 = new Compound("111");
Compound t626 = new Compound("105");
Compound t628 = new Compound("99");
Compound t630 = new Compound("101");
Compound t632 = new Compound("112");
Compound t634 = new Compound("111");
Compound t636 = new Compound("105");
Compound t638 = new Compound("110");
Compound t640 = new Compound("116");
Compound t642 = new Compound("46");
Compound t644 = new Compound("98");
Compound t646 = new Compound("105");
Compound t648 = new Compound("110");
Compound t650 = new Compound("100");
Compound t652 = new Compound("105");
Compound t654 = new Compound("110");
Compound t656 = new Compound("103");
Compound t658 = new Compound("115");
Compound t660 = new Compound("32");
Compound t662 = new Compound("61");
Compound t664 = new Compound("32");
Compound t666 = new Compound("117");
Compound t668 = new Compound("110");
Compound t670 = new Compound("105");
Compound t672 = new Compound("102");
Compound t674 = new Compound("105");
Compound t676 = new Compound("101");
Compound t678 = new Compound("114");
Compound t680 = new Compound("46");
Compound t682 = new Compound("98");
Compound t684 = new Compound("111");
Compound t686 = new Compound("117");
Compound t688 = new Compound("110");
Compound t690 = new Compound("100");
Compound t692 = new Compound("59");
Compound t694 = new Compound("92");
Compound t696 = new Compound("110");
Variable t697 = new Variable("V35");
Compound t695 = new Compound(".", t696, t697);
Compound t693 = new Compound(".", t694, t695);
Compound t691 = new Compound(".", t692, t693);
Compound t689 = new Compound(".", t690, t691);
Compound t687 = new Compound(".", t688, t689);
Compound t685 = new Compound(".", t686, t687);
Compound t683 = new Compound(".", t684, t685);
Compound t681 = new Compound(".", t682, t683);
Compound t679 = new Compound(".", t680, t681);
Compound t677 = new Compound(".", t678, t679);
Compound t675 = new Compound(".", t676, t677);
Compound t673 = new Compound(".", t674, t675);
Compound t671 = new Compound(".", t672, t673);
Compound t669 = new Compound(".", t670, t671);
Compound t667 = new Compound(".", t668, t669);
Compound t665 = new Compound(".", t666, t667);
Compound t663 = new Compound(".", t664, t665);
Compound t661 = new Compound(".", t662, t663);
Compound t659 = new Compound(".", t660, t661);
Compound t657 = new Compound(".", t658, t659);
Compound t655 = new Compound(".", t656, t657);
Compound t653 = new Compound(".", t654, t655);
Compound t651 = new Compound(".", t652, t653);
Compound t649 = new Compound(".", t650, t651);
Compound t647 = new Compound(".", t648, t649);
Compound t645 = new Compound(".", t646, t647);
Compound t643 = new Compound(".", t644, t645);
Compound t641 = new Compound(".", t642, t643);
Compound t639 = new Compound(".", t640, t641);
Compound t637 = new Compound(".", t638, t639);
Compound t635 = new Compound(".", t636, t637);
Compound t633 = new Compound(".", t634, t635);
Compound t631 = new Compound(".", t632, t633);
Compound t629 = new Compound(".", t630, t631);
Compound t627 = new Compound(".", t628, t629);
Compound t625 = new Compound(".", t626, t627);
Compound t623 = new Compound(".", t624, t625);
Compound t621 = new Compound(".", t622, t623);
Compound t619 = new Compound(".", t620, t621);
Compound t618 = new Compound("=", t616, t619);
Compound t700 = new Compound("114");
Compound t702 = new Compound("101");
Compound t704 = new Compound("116");
Compound t706 = new Compound("117");
Compound t708 = new Compound("114");
Compound t710 = new Compound("110");
Compound t712 = new Compound("32");
Compound t714 = new Compound("110");
Compound t716 = new Compound("101");
Compound t718 = new Compound("119");
Compound t720 = new Compound("32");
Compound t722 = new Compound("83");
Compound t724 = new Compound("116");
Compound t726 = new Compound("97");
Compound t728 = new Compound("99");
Compound t730 = new Compound("107");
Compound t732 = new Compound("60");
Compound t734 = new Compound("67");
Compound t736 = new Compound("104");
Compound t738 = new Compound("111");
Compound t740 = new Compound("105");
Compound t742 = new Compound("99");
Compound t744 = new Compound("101");
Compound t746 = new Compound("112");
Compound t748 = new Compound("111");
Compound t750 = new Compound("105");
Compound t752 = new Compound("110");
Compound t754 = new Compound("116");
Compound t756 = new Compound("62");
Compound t758 = new Compound("40");
Compound t760 = new Compound("99");
Compound t762 = new Compound("104");
Compound t764 = new Compound("111");
Compound t766 = new Compound("105");
Compound t768 = new Compound("99");
Compound t770 = new Compound("101");
Compound t772 = new Compound("112");
Compound t774 = new Compound("111");
Compound t776 = new Compound("105");
Compound t778 = new Compound("110");
Compound t780 = new Compound("116");
Compound t782 = new Compound("44");
Compound t784 = new Compound("99");
Compound t786 = new Compound("104");
Compound t788 = new Compound("111");
Compound t790 = new Compound("105");
Compound t792 = new Compound("99");
Compound t794 = new Compound("101");
Compound t796 = new Compound("112");
Compound t798 = new Compound("111");
Compound t800 = new Compound("105");
Compound t802 = new Compound("110");
Compound t804 = new Compound("116");
Compound t806 = new Compound("115");
Compound t808 = new Compound("41");
Compound t810 = new Compound("59");
Compound t812 = new Compound("92");
Compound t814 = new Compound("110");
Compound t813 = new Compound(".", t814, t501);
Compound t811 = new Compound(".", t812, t813);
Compound t809 = new Compound(".", t810, t811);
Compound t807 = new Compound(".", t808, t809);
Compound t805 = new Compound(".", t806, t807);
Compound t803 = new Compound(".", t804, t805);
Compound t801 = new Compound(".", t802, t803);
Compound t799 = new Compound(".", t800, t801);
Compound t797 = new Compound(".", t798, t799);
Compound t795 = new Compound(".", t796, t797);
Compound t793 = new Compound(".", t794, t795);
Compound t791 = new Compound(".", t792, t793);
Compound t789 = new Compound(".", t790, t791);
Compound t787 = new Compound(".", t788, t789);
Compound t785 = new Compound(".", t786, t787);
Compound t783 = new Compound(".", t784, t785);
Compound t781 = new Compound(".", t782, t783);
Compound t779 = new Compound(".", t780, t781);
Compound t777 = new Compound(".", t778, t779);
Compound t775 = new Compound(".", t776, t777);
Compound t773 = new Compound(".", t774, t775);
Compound t771 = new Compound(".", t772, t773);
Compound t769 = new Compound(".", t770, t771);
Compound t767 = new Compound(".", t768, t769);
Compound t765 = new Compound(".", t766, t767);
Compound t763 = new Compound(".", t764, t765);
Compound t761 = new Compound(".", t762, t763);
Compound t759 = new Compound(".", t760, t761);
Compound t757 = new Compound(".", t758, t759);
Compound t755 = new Compound(".", t756, t757);
Compound t753 = new Compound(".", t754, t755);
Compound t751 = new Compound(".", t752, t753);
Compound t749 = new Compound(".", t750, t751);
Compound t747 = new Compound(".", t748, t749);
Compound t745 = new Compound(".", t746, t747);
Compound t743 = new Compound(".", t744, t745);
Compound t741 = new Compound(".", t742, t743);
Compound t739 = new Compound(".", t740, t741);
Compound t737 = new Compound(".", t738, t739);
Compound t735 = new Compound(".", t736, t737);
Compound t733 = new Compound(".", t734, t735);
Compound t731 = new Compound(".", t732, t733);
Compound t729 = new Compound(".", t730, t731);
Compound t727 = new Compound(".", t728, t729);
Compound t725 = new Compound(".", t726, t727);
Compound t723 = new Compound(".", t724, t725);
Compound t721 = new Compound(".", t722, t723);
Compound t719 = new Compound(".", t720, t721);
Compound t717 = new Compound(".", t718, t719);
Compound t715 = new Compound(".", t716, t717);
Compound t713 = new Compound(".", t714, t715);
Compound t711 = new Compound(".", t712, t713);
Compound t709 = new Compound(".", t710, t711);
Compound t707 = new Compound(".", t708, t709);
Compound t705 = new Compound(".", t706, t707);
Compound t703 = new Compound(".", t704, t705);
Compound t701 = new Compound(".", t702, t703);
Compound t699 = new Compound(".", t700, t701);
Compound t698 = new Compound("=", t697, t699);
Compound t617 = new Compound(",", t618, t698);
Compound t606 = new Compound(",", t607, t617);
Compound t603 = new Compound(",", t604, t606);
Compound t502 = new Compound(",", t503, t603);
Compound t115 = new Compound(";", t116, t502);
Compound t817 = new Compound("125");
Compound t819 = new Compound("92");
Compound t821 = new Compound("110");
Variable t822 = new Variable("V36");
Compound t820 = new Compound(".", t821, t822);
Compound t818 = new Compound(".", t819, t820);
Compound t816 = new Compound(".", t817, t818);
Compound t815 = new Compound("=", t501, t816);
Compound t825 = new Compound("98");
Compound t827 = new Compound("114");
Compound t829 = new Compound("101");
Compound t831 = new Compound("97");
Compound t833 = new Compound("107");
Compound t835 = new Compound("59");
Compound t837 = new Compound("92");
Compound t839 = new Compound("110");
Variable t840 = new Variable("V37");
Compound t838 = new Compound(".", t839, t840);
Compound t836 = new Compound(".", t837, t838);
Compound t834 = new Compound(".", t835, t836);
Compound t832 = new Compound(".", t833, t834);
Compound t830 = new Compound(".", t831, t832);
Compound t828 = new Compound(".", t829, t830);
Compound t826 = new Compound(".", t827, t828);
Compound t824 = new Compound(".", t825, t826);
Compound t823 = new Compound("=", t822, t824);
Compound t843 = new Compound("125");
Compound t845 = new Compound("92");
Compound t847 = new Compound("110");
Variable t848 = new Variable("V38");
Compound t846 = new Compound(".", t847, t848);
Compound t844 = new Compound(".", t845, t846);
Compound t842 = new Compound(".", t843, t844);
Compound t841 = new Compound("=", t840, t842);
Compound t849 = new Compound("cases", t13, t2, t7, t848, t9);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t10, t12, t14, t16, t28, t30, t42, t50, t53, t115, t815, t823, t841, t849);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("string")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Variable t2 = new Variable("V1");
Variable t3 = new Variable("V2");
Compound t0 = new Compound("string", t1, t2, t3);
Compound t6 = new Compound("34");
Variable t7 = new Variable("V3");
Compound t5 = new Compound(".", t6, t7);
Compound t4 = new Compound("=", t2, t5);
Variable t9 = new Variable("V4");
Compound t8 = new Compound("string_body", t1, t7, t9);
Variable t11 = new Variable("V5");
Compound t10 = new Compound("=", t9, t11);
Compound t12 = new Compound("!");
Compound t15 = new Compound("34");
Compound t14 = new Compound(".", t15, t3);
Compound t13 = new Compound("=", t11, t14);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4, t8, t10, t12, t13);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("string_body")) {
switch(choice) {
case 0: {
Compound t2 = new Compound("34");
Variable t3 = new Variable("V0");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V1");
Variable t5 = new Variable("V2");
Compound t0 = new Compound("string_body", t1, t4, t5);
Compound t8 = new Compound("92");
Variable t9 = new Variable("V3");
Compound t7 = new Compound(".", t8, t9);
Compound t6 = new Compound("=", t4, t7);
Compound t12 = new Compound("34");
Variable t13 = new Variable("V4");
Compound t11 = new Compound(".", t12, t13);
Compound t10 = new Compound("=", t9, t11);
Compound t14 = new Compound("string_body", t3, t13, t5);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t6, t10, t14);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Compound t2 = new Compound("92");
Variable t3 = new Variable("V0");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V1");
Variable t5 = new Variable("V2");
Compound t0 = new Compound("string_body", t1, t4, t5);
Compound t8 = new Compound("92");
Variable t9 = new Variable("V3");
Compound t7 = new Compound(".", t8, t9);
Compound t6 = new Compound("=", t4, t7);
Compound t12 = new Compound("92");
Variable t13 = new Variable("V4");
Compound t11 = new Compound(".", t12, t13);
Compound t10 = new Compound("=", t9, t11);
Compound t14 = new Compound("string_body", t3, t13, t5);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t6, t10, t14);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 2: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("string_body", t1, t4, t5);
Variable t8 = new Variable("V4");
Compound t7 = new Compound(".", t2, t8);
Compound t6 = new Compound("=", t4, t7);
Compound t9 = new Compound("string_body", t3, t8, t5);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t6, t9);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 3: {
Compound t1 = new Compound("[]");
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t0 = new Compound("string_body", t1, t2, t3);
Compound t4 = new Compound("=", t2, t3);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t4);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 6 && name.equals("splat")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Compound t2 = new Compound("[]");
Variable t4 = new Variable("V0");
Variable t5 = new Variable("V1");
Compound t3 = new Compound("/", t4, t5);
Compound t6 = new Compound("/", t4, t5);
Variable t7 = new Variable("V2");
Variable t8 = new Variable("V3");
Compound t0 = new Compound("splat", t1, t2, t3, t6, t7, t8);
Compound t9 = new Compound("=", t7, t8);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t9);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t5 = new Variable("V2");
Variable t6 = new Variable("V3");
Compound t4 = new Compound(".", t5, t6);
Variable t8 = new Variable("V4");
Variable t9 = new Variable("V5");
Compound t7 = new Compound("/", t8, t9);
Variable t11 = new Variable("V6");
Variable t12 = new Variable("V7");
Compound t10 = new Compound("/", t11, t12);
Variable t13 = new Variable("V8");
Variable t14 = new Variable("V9");
Compound t0 = new Compound("splat", t1, t4, t7, t10, t13, t14);
Compound t16 = new Compound("/", t8, t9);
Variable t18 = new Variable("V10");
Variable t19 = new Variable("V11");
Compound t17 = new Compound("/", t18, t19);
Variable t20 = new Variable("V12");
Compound t15 = new Compound("java", t2, t16, t5, t17, t13, t20);
Compound t22 = new Compound("/", t18, t19);
Compound t23 = new Compound("/", t11, t12);
Compound t21 = new Compound("splat", t3, t6, t22, t23, t20, t14);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t15, t21);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 3 && name.equals("tuple_variables")) {
switch(choice) {
case 0: {
Compound t1 = new Compound("[]");
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t0 = new Compound("tuple_variables", t1, t2, t3);
Compound t4 = new Compound("=", t2, t3);
if(unifier.unify(t0,term)) {
choicepoint = new Choicepoint(continuation,height, t4);
choicepoint.bindings = unifier.bound;
return new Stack<Choicepoint>(choicepoint,choicepoints);
}
break;
}
case 1: {
Variable t2 = new Variable("V0");
Variable t3 = new Variable("V1");
Compound t1 = new Compound(".", t2, t3);
Variable t4 = new Variable("V2");
Variable t5 = new Variable("V3");
Compound t0 = new Compound("tuple_variables", t1, t4, t5);
Variable t7 = new Variable("V4");
Compound t6 = new Compound("=", t4, t7);
Variable t9 = new Variable("V5");
Compound t8 = new Compound("atom_codes", t2, t9);
Compound t12 = new Compound("44");
Compound t14 = new Compound("32");
Compound t16 = new Compound("116");
Variable t17 = new Variable("V6");
Compound t15 = new Compound(".", t16, t17);
Compound t13 = new Compound(".", t14, t15);
Compound t11 = new Compound(".", t12, t13);
Compound t10 = new Compound("=", t7, t11);
Variable t19 = new Variable("V7");
Compound t18 = new Compound("append", t9, t19, t17);
Compound t20 = new Compound("tuple_variables", t3, t19, t5);
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t6, t8, t10, t18, t20);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
if(arity == 1 && name.equals("as_java")) {
switch(choice) {
case 0: {
Variable t1 = new Variable("V0");
Compound t0 = new Compound("as_java", t1);
Variable t3 = new Variable("V1");
Compound t2 = new Compound("parse_string", t1, t3);
Compound t6 = new Compound("0");
Compound t7 = new Compound("[]");
Compound t5 = new Compound("/", t6, t7);
Variable t8 = new Variable("V2");
Variable t9 = new Variable("V3");
Compound t10 = new Compound("[]");
Compound t4 = new Compound("java", t3, t5, t8, t8, t9, t10);
Compound t11 = new Compound("write_string", t9);
Compound t12 = new Compound("!");
if(unifier.unify(t0,term)) {
choicepoints.head.query = choicepoints.head.query.tail;
choicepoints.head.addQuerents(height-1, t2, t4, t11, t12);
choicepoints.head.addBindings(unifier.bound);
return choicepoints;
}
break;
}
default: choicepoints.head.dead = true;
}
return choicepoints;
}
return next.fishFor(name,arity,term,choice,prolog,unifier,cutIndex,continuation,choicepoints);
}
}
